Re: [PATCH] git-gui: Modify push dialog to support Gerrit review
- From
Johannes Sixt <j.sixt@viscovery.net>
- Date
- Sep 5, 2013, 09:31 UTC
- 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