Re: [PATCH 10/10] push: teach push to be quiet if local ref is strict subset of remote ref

From: Steffen Prohaska <prohaska@zib.de>
Date: Nov 2, 2007, 12:48 UTC
Message-ID: <A862668C-7895-489A-B13B-597084CAEE11@zib.de>
In-Reply-To: <Pine.LNX.4.64.0711021213370.4362@racer.site>

On Nov 2, 2007, at 1:14 PM, Johannes Schindelin wrote:

Show 15 quoted lines

> Hi,
>
> On Fri, 2 Nov 2007, Wincent Colaiuta wrote:
>
>> Of course, it's too late too change now, but it would be nice if the
>> mirror of "fetch" were "send". (I know it's been commented in the  
>> past
>> that the fact that "push" and "pull" aren't mirror operations has
>> surprised quite a few people.)
>
> Could you please just do
>
> 	git config --global alias.send push
>
> and be done with it?

This would certainly be the easiest. But I think the following is probably more in line with Wincent's comment:

	Makefile builds git-send instead of git-push
	git config --global alias.push send
	[ wait some time ]
	git config --unset alias.push

The comment was about how to avoid surprises for people that are new to git, not how to let long-time users have an alias for push.

The _only_ real solution I see right now, is to stop the discussion and leave "git push" as is. I strongly believe that the git community in its majority will refuse to rename push; though I have no evidence for this.

	Steffen