diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2021-11-02 15:36:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-02 15:36:01 +0100 |
commit | 61340d526702616ff000d9e1cf71f52dd199a103 (patch) | |
tree | fbb94e0922915901c65c3e8e74fda60573837425 | |
parent | 6775a527f9d3c801f8cdd805d8f205b6a75551b9 (diff) |
change repo url (#299)
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |