Use https for GitHub URLs.