Re: git pull fails to exit with non-zero status after fatal error

Johannes Schindelin [off-list ref] wrote:

On Sat, 3 Mar 2007, Junio C Hamano wrote:

quoted

-	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.