From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 06 Feb 2011 20:45:48 GMT
Subject: Re: [PATCH] git pull: Remove option handling done by fetch
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?