Use https instead of http for github links