Using https for github