switched back to https repo url