$ git pull git: 'pull' is not a git command. See 'git --help'. The most similar command is pull