Re: [Terminology] Push vs. upload?
- From
Junio C Hamano <junkio@cox.net>
- Date
- Sep 20, 2005, 01:54 UTC
- 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...