From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 17 Jan 2008 02:11:36 GMT
Subject: Re: [PATCH] git-commit: exit non-zero if we fail to commit the index
Message-ID: <7v63xtmc9z.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <478EB430.1040604@nrlssc.navy.mil>

Brandon Casey <casey@nrlssc.navy.mil> writes:

>>  We would need to tell the user that the index is not where
>> it is when we detect the error, though.
>
> The new index we are trying to rename will be deleted.
> Are you saying we should 
>   warn the user that the index is now out of sync?

Yeah, something like that.  But I think that once this happens
there is no easy and sane recovery path for the user, as the
most likely cause of the failure there would be the user running
out of quota, so "git reset HEAD" which may be the way to
recover from that failure would not have enough room to create a
new index file anyway.