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 /diff.c | |
parent | 4c53a8c20f8984adb226293a3ffd7b88c3f4ac1a (diff) |
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 'diff.c')
0 files changed, 0 insertions, 0 deletions