Subject: Re: [PATCH] git-gui: Modify push dialog to support Gerrit review

From: Johannes Sixt <[email-masked]>
Date: Thu, 05 Sep 2013 11:31:00 +0200

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