On Feb 19, 2008 11:37 AM, Jeff King <peff@xxxxxxxx> wrote: > > Seriously, though, I think it is not just new users. It is that for some > (many? most?) people, wanting to push just the HEAD is the _normal_ > workflow. So they must remember to always say "git push origin HEAD", > and if they ever forget, the side effects are non-trivial to clean up. [alias] mypush = push origin HEAD (my<cmd> aliases are a lot easier than fighting the powers that be.) :-) j. - 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
