Split git_pull into git pull and compile to facilitate better git pull practices