no need to pushd/popd for git pull. Just git -C. Remove output redirection for additional information