Update some git-related instructions