Use https for github, more firewall friendly