`git_pull()` and `git_clone()` don't seem to be used anymore.