change the github-default-url-type to https