Correct git repo addr to use https