#669204 git-man: undocumented git fetch behavior