git-pull documentation: fix markup