Documentation: exclude irrelevant options from "git pull"