git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: bug: update hook failure doesn't prevent local deletion of a branch

From
Junio C Hamano <gitster@pobox.com>
Date
Jul 27, 2007, 05:00 UTC
Message-ID
<7v3aza5tl2.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<20070727042606.GE20052@spearce.org>
"Shawn O. Pearce" <spearce@spearce.org> 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.

Previous: Shawn O. Pearce
Message 4 of 4 in “bug: update hook failure doesn't prevent local deletion of a branch”
  1. Andy ParkinsJul 25, 2007
  2. Junio C HamanoJul 27, 2007
  3. Shawn O. PearceJul 27, 2007
  4. Junio C HamanoJul 27, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.