Documentation: update git-pull.txt for new clone behavior