Re: [Terminology] Push vs. upload?

From: Linus Torvalds <torvalds@osdl.org>
Date: Sep 20, 2005, 00:55 UTC
Message-ID: <Pine.LNX.4.58.0509191753100.2553@g5.osdl.org>
In-Reply-To: <20050920001136.GK18320@pasky.or.cz>

On Tue, 20 Sep 2005, Petr Baudis wrote:

Show 5 quoted lines

> 
>   I've realized today that I "forgot" to rename cg-push to cg-upload, so
> I impulsively did so right away, but now I'm seeing that the core git
> still has git-push and no git-upload. This is confusing and appears to
> be quite inconsistent - push should be the opposite of pull

No. There is no opposite of pull. You can't update the tree on the other end. It's fundamentally an unsafe operation - the other end is by definition not a private tree.

(Or, if you want to see it another way: "pull" is "pull"s own opposite: "ssh other-end + git pull from that end" ends up being what you mean.)

		Linus