diff options
author | Jeff King <peff@peff.net> | 2015-06-23 06:54:11 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-06-24 17:09:35 -0700 |
commit | 067fbd4105c5aa8260a73cc6961854be0e93fa03 (patch) | |
tree | 302bb72cb8414580c24bd4d896bc4879e31b8a66 /git-gui/po/el.po | |
parent | introduce "extensions" form of core.repositoryformatversion (diff) | |
download | tgif-067fbd4105c5aa8260a73cc6961854be0e93fa03.tar.xz |
introduce "preciousObjects" repository extension
If this extension is used in a repository, then no
operations should run which may drop objects from the object
storage. This can be useful if you are sharing that storage
with other repositories whose refs you cannot see.
For instance, if you do:
$ git clone -s parent child
$ git -C parent config extensions.preciousObjects true
$ git -C parent config core.repositoryformatversion 1
you now have additional safety when running git in the
parent repository. Prunes and repacks will bail with an
error, and `git gc` will skip those operations (it will
continue to pack refs and do other non-object operations).
Older versions of git, when run in the repository, will
fail on every operation.
Note that we do not set the preciousObjects extension by
default when doing a "clone -s", as doing so breaks
backwards compatibility. It is a decision the user should
make explicitly.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po/el.po')
0 files changed, 0 insertions, 0 deletions