From 61340d526702616ff000d9e1cf71f52dd199a103 Mon Sep 17 00:00:00 2001 From: Rémi Flamary Date: Tue, 2 Nov 2021 15:36:01 +0100 Subject: change repo url (#299) --- .circleci/config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 5cfee23..85f8073 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -24,7 +24,7 @@ jobs: echo ${CI_PULL_REQUEST//*pull\//} | tee merge.txt if [[ $(cat merge.txt) != "" ]]; then echo "Merging $(cat merge.txt)"; - git remote add upstream git://github.com/PythonOT/POT.git; + git remote add upstream https://github.com/PythonOT/POT.git; git pull --ff-only upstream "refs/pull/$(cat merge.txt)/merge"; git fetch upstream master; fi -- cgit v1.2.3