From: Johannes Sixt <j.sixt@viscovery.net>
Date: Thu, 05 Sep 2013 09:31:00 GMT
Subject: Re: [PATCH] git-gui: Modify push dialog to support Gerrit review
Message-ID: <52284F54.4080405@viscovery.net>
In-Reply-To: <F8C23E99F5C6884EB99E2A1966D743637F3619CB@cph-gen-exch01.napatech.com>

Am 9/5/2013 11:18, schrieb Jørgen Edelbo:
> Forgetting to push something that you have just 
> completed is very far from what I am used to.

"Forgetting to push" is just one of many reasons why a branch that is not
equal to HEAD is not yet pushed... The new restriction is just too tight.

-- Hannes