default to https on github