From: Jens Lehmann <jens.lehmann@web.de>
Date: Sat, 05 Dec 2009 13:19:53 GMT
Subject: Re: [PATCH RESEND] git gui: make current branch default in "remote delete branch" merge check
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