From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sat, 03 Mar 2007 21:10:31 GMT
Subject: Re: git pull fails to exit with non-zero status after fatal error
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