[Finishes #59143888] Removed 'git pull origin master' since that's a little dangerous now.