Steffen Prohaska <prohaska@xxxxxx> writes: > On Oct 28, 2007, at 8:28 AM, Junio C Hamano wrote: > >> Steffen Prohaska <prohaska@xxxxxx> 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. Ugh, that looks way too magicky. The first parameter to push if one ever exists has _always_ been the remote, and the above breaks it. Please don't. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
