Re: [PATCH] git pull: Remove option handling done by fetch
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 6, 2011, 20:45 UTC
- Message-ID
- <7vipwwx56r.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <4D4D33E7.4000303@web.de>
Jens Lehmann <Jens.Lehmann@web.de> writes:
> Yes, but isn't that exactly what the pull man-page says? Quote: > "Options meant for git pull itself and the underlying git merge > must be given before the options meant for git fetch."
Yes, it says that, and I think that was a weasely way to say "the command line parser in git-pull is broken". The lines you are removing was from the patch that fixed that breakage, aren't they?