Always use HTTPS for GitHub links, to avoid extra redirect.