use https for git url