Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git-pull documentation: warn about the option order
We might eventually be loosening this rule, but there is a longstanding restriction that the users currently need to be aware of. Signed-off-by: Junio C Hamano <gitster@pobox.com>
- Loading branch information