Documentation: exclude irrelevant options from "git pull"
[git] / t / t5100 / patch0007