commit fce3963fc07722ccefd13bd3012d25c6e5086653
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 31 23:16:55 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 31 23:16:55 2020 -0400
tree 86346b64ecb526c0ce45bfe71adc13c7b919c0ea
parent d8398820f182ddc9255b8bff2ee5fe52097e22b8

ci: use https URL in git clone command

Change-Id: I35c7ffa2e03957084b74c2db183780a70b5aab27

.jenkins.d/01-ndn-cxx.sh

diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh
index e5bdda8..3249e4c 100755
--- a/.jenkins.d/01-ndn-cxx.sh
+++ b/.jenkins.d/01-ndn-cxx.sh
@@ -18,7 +18,7 @@
 fi
 
 sudo rm -rf ndn-cxx-latest
-git clone --depth 1 git://github.com/named-data/ndn-cxx ndn-cxx-latest
+git clone --depth 1 https://github.com/named-data/ndn-cxx.git ndn-cxx-latest
 LATEST_VERSION=$(git -C ndn-cxx-latest rev-parse HEAD 2>/dev/null || echo UNKNOWN)
 
 if [[ $INSTALLED_VERSION != $LATEST_VERSION ]]; then