Re: [PATCH 04/10] push: add "git push HEAD" shorthand for 'push current branch to default repo' From: Junio C Hamano <hidden> Date: 2016-06-15 22:43:45 Will drop this as you already know why.
Keyboard shortcuts hback out one level jnext message in thread kprevious message in thread ldrill in Escclose help / fold thread tree ?toggle this help