From: Shawn O. Pearce <spearce@spearce.org>
Date: Sat, 03 Mar 2007 21:23:48 GMT
Subject: Re: git pull fails to exit with non-zero status after fatal error
Message-ID: <20070303212348.GA17796@spearce.org>
In-Reply-To: <Pine.LNX.4.63.0703032210010.22628@wbgn013.biozentrum.uni-wuerzburg.de>

Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> 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"?

No, it carries the exit status of the prior failed command if the
prior command failed.  ;-)

For what its worth, I learned that only while hacking on git-merge.
I think it is highly non-obvious.

-- 
Shawn.