switch from git protocol to https