Re: [PATCH 5/8] push, send-pack: support pushing HEAD to real ref name
- From
Steffen Prohaska <prohaska@zib.de>
- Date
- Oct 28, 2007, 15:10 UTC
- Message-ID
- <722152C5-299C-435E-B720-D2D331D16249@zib.de>
- In-Reply-To
- <7vwst7wvdr.fsf@gitster.siamese.dyndns.org>
On Oct 28, 2007, at 8:28 AM, Junio C Hamano wrote:
Show 8 quoted lines
> Steffen Prohaska <prohaska@zib.de> writes: > >> This teaches "push <remote> HEAD" to resolve HEAD on the local >> side to its real ref name, e.g. refs/heads/master, and then >> use the real ref name on the remote side to search a matching >> remote ref. > > This probably is a good idea.
I'll add an even shorter shorthand: "git push HEAD" will push the current branch to its default remote.
Steffen