From: Junio C Hamano Date: Fri, 27 Jul 2007 05:00:41 GMT Subject: Re: bug: update hook failure doesn't prevent local deletion of a branch Message-ID: <7v3aza5tl2.fsf@assigned-by-dhcp.cox.net> In-Reply-To: <20070727042606.GE20052@spearce.org> "Shawn O. Pearce" 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.