From: Steffen Prohaska <prohaska@zib.de>
Date: Fri, 02 Nov 2007 12:48:47 GMT
Subject: Re: [PATCH 10/10] push: teach push to be quiet if local ref is strict subset of remote ref
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:

> 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