diff options
author | Michael Schubert <mschub@elegosoft.com> | 2013-07-13 13:36:24 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-07-19 02:59:46 +0400 |
commit | 737c5a9cde708d6995c765b7c2e95033edd0a896 (patch) | |
tree | 46ce1379e667a81503b19b7a3e6785396ae42dec /diff-lib.c | |
parent | edca4152560522a431a51fc0a06147fc680b5b18 (diff) |
fetch: make --prune configurable
Without "git fetch --prune", remote-tracking branches for a branch
the other side already has removed will stay forever. Some people
want to always run "git fetch --prune".
To accommodate users who want to either prune always or when fetching
from a particular remote, add two new configuration variables
"fetch.prune" and "remote.<name>.prune":
- "fetch.prune" allows to enable prune for all fetch operations.
- "remote.<name>.prune" allows to change the behaviour per remote.
The latter will naturally override the former, and the --[no-]prune
option from the command line will override the configured default.
Since --prune is a potentially destructive operation (Git doesn't
keep reflogs for deleted references yet), we don't want to prune
without users consent, so this configuration will not be on by
default.
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Michael Schubert <mschub@elegosoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff-lib.c')
0 files changed, 0 insertions, 0 deletions