Documentation: flesh out “git pull” description