Re: [PATCH] git pull: Remove option handling done by fetch

Jens Lehmann [off-list ref] 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?