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

quoted text
>>  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.
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html