irc: Use HTTPS for github URL.