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