Use git pull instead of git clone, if it can.

To do this, use ./github_repos instead of /tmp for working directory.