IMP Make sure user uses `git-pulls` in a Github repository.