use https instead of ssh for github repo cloning