Correct git-pull documentation