Use https for github operations