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