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