use https instead of git to speed up `git clone` speed