changed the git repo to use https now that it is public