Use https for github URLs