use https for github as it seems recommended