Re: git pull fails to exit with non-zero status after fatal error
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 3, 2007, 21:10 UTC
- Message-ID
- <Pine.LNX.4.63.0703032210010.22628@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <7vabyu9hcp.fsf@assigned-by-dhcp.cox.net>
Hi,
On Sat, 3 Mar 2007, Junio C Hamano wrote:
> - finish "$new_head" "Fast forward" > + finish "$new_head" "Fast forward" || exit
Doesn't "exit" default to "exit 0"?
Ciao, Dscho