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

Re: [PATCH RESEND] git gui: make current branch default in "remote delete branch" merge check

From
Jens Lehmann <jens.lehmann@web.de>
Date
Dec 5, 2009, 13:19 UTC
Message-ID
<4B1A5DF9.70203@web.de>
In-Reply-To
<20091204212648.GA3979@book.hvoigt.net>
Heiko Voigt schrieb:
> We already do the same when locally deleting a branch.
+1

This is very useful in a workflow where the reviewer deletes the remote feature branch right after merging and pushing it.

Jens
Previous: Heiko VoigtNext: Shawn O. Pearce
Message 2 of 3 in “git gui: make current branch default in "remote delete branch" merge check”
  1. git gui: make current branch default in "remote delete branch" merge checkHeiko Voigt, Dec 4, 2009
  2. Jens LehmannDec 5, 2009
  3. Shawn O. PearceDec 5, 2009

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.