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

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

Hi,

On Fri, 2 Nov 2007, Wincent Colaiuta wrote:

quoted

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