Using https instead of http for github updates