Re: [PATCH(TIC)] push: annoy all users by deprecating the default semantics

From: Jay Soffian <jaysoffian@gmail.com>
Date: Feb 19, 2008, 18:40 UTC
Message-ID: <76718490802191040h6b041ae4q7ae3329be82ec902@mail.gmail.com>
In-Reply-To: <20080219163743.GA31668@sigill.intra.peff.net>

On Feb 19, 2008 11:37 AM, Jeff King <peff@peff.net> wrote:

Show 5 quoted lines

>
> 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.