Re: [PATCH 10/10] push: teach push to be quiet if local ref is strict subset of remote ref
- From
Wincent Colaiuta <win@wincent.com>
- Date
- Nov 2, 2007, 08:18 UTC
- Message-ID
- <0C176853-8848-46C8-AD7A-97F73274DC29@wincent.com>
- In-Reply-To
- <7vlk9jgeee.fsf@gitster.siamese.dyndns.org>
El 31/10/2007, a las 22:31, Junio C Hamano escribió:
Show 5 quoted lines
> Wrong. push is a mirror of fetch and does not do _any_ > integration. It is just a safe (because it insists on > fast-forward) propagation mechanism. Your integration still > happens with pull (actually, shared repository people seem to > prefer "fetch + rebase" over "pull" which is "fetch + merge").
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.)
Cheers, Wincent