Re: [PATCH] git-gui: Modify push dialog to support Gerrit review
From: Johannes Sixt <hidden>
Date: 2016-06-15 22:58:38
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