"Shawn O. Pearce" <spearce@xxxxxxxxxxx> writes: > We should make our repository state reflect the user's internal > mental view of what just happened, especially here, because the > user's mental view is probably correct. Fair enough. At least if we correct git-push so that when it exits with failure it would not touch the local refs, I would think that would make what happens to match user's mental model much better. The user would be _told_ that it failed, and then can fetch back if he cares where the remote heads are too deeply. - 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
