HTTPS everywhere for github.com