git-push: make git push --porcelain print "Done"
commit77555854be6e7fbce07c9ded30ea859b54699be0
authorLarry D'Anna <larry@elder-gods.org>
Sat, 27 Feb 2010 04:52:15 +0000 (26 23:52 -0500)
committerJunio C Hamano <gitster@pobox.com>
Sun, 28 Feb 2010 18:39:30 +0000 (28 10:39 -0800)
tree347afee0f6017460bff13aa19f75496ab26e3ad2
parent60cfeb8e95d859bf250804c7981e8481e297c3b6
git-push: make git push --porcelain print "Done"

The script calling git push --porcelain --dry-run can see clearly from the
output if an update was rejected.  However, it will probably need to distinguish
this condition from the push failing for other reasons, such as the remote not
being reachable.

This patch modifies git push --porcelain to print "Done" after the rest of its
output unless any errors have occurred.  For the purpose of the "Done" line,
knowing a ref will be rejected in a --dry-run does not count as an error.
Actual rejections in non --dry-run pushes do count as errors.

Signed-off-by: Larry D'Anna <larry@elder-gods.org>
Acked-by: Tay Ray Chuan <rctay89@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin-send-pack.c
send-pack.h
transport.c