From: Junio C Hamano <junkio@cox.net>
Date: Tue, 20 Sep 2005 01:54:06 GMT
Subject: Re: [Terminology] Push vs. upload?
Message-ID: <7v3bo0fqrl.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <20050920001136.GK18320@pasky.or.cz>

Petr Baudis <pasky@suse.cz> writes:

> ... push should be the opposite of pull, but pull is defined
> as fetch+merge, ...

It is my recollection that this exact "shouldn't push be
opposite of pull" issue was raised when the list had the
glossary discussion.  My impression was that the discussion
settled on what we have right now...