Use https for github address