using https instead of ssh for the git repositories (because it required that the user had a ssh key registered to github)