git: Forse use of https on github.com