use https for git repo