diff options
author | Thomas Gummerer <t.gummerer@gmail.com> | 2022-01-31 13:30:47 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-01-31 11:18:37 -0800 |
commit | c9e04d905edb5487c43b03304704e8d1248f9ac0 (patch) | |
tree | 9b0e5fe2af8f2d27bdf310f6a594664445f1db28 /Documentation/config/init.txt | |
parent | Git 2.35.1 (diff) | |
download | tgif-c9e04d905edb5487c43b03304704e8d1248f9ac0.tar.xz |
fetch --prune: exit with error if pruning fails
When pruning refs fails, we print an error to stderr, but still
exit 0 from 'git fetch'. Since this is a genuine error, fetch
should be exiting with some non-zero exit code. Make it so.
The --prune option was introduced in f360d844de ("builtin-fetch: add
--prune option", 2009-11-10). Unfortunately it's unclear from that
commit whether ignoring the exit code was an oversight or
intentional, but it feels like an oversight.
Helped-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config/init.txt')
0 files changed, 0 insertions, 0 deletions