tree 86346b64ecb526c0ce45bfe71adc13c7b919c0ea
parent d8398820f182ddc9255b8bff2ee5fe52097e22b8
author Davide Pesavento <davidepesa@gmail.com> 1585711015 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585711015 -0400

ci: use https URL in git clone command

Change-Id: I35c7ffa2e03957084b74c2db183780a70b5aab27