Switching from git to https