Make https the preferred protocol for github