use https for git