use ssh for git clones

This commit is contained in:
Arne Morten Kvarving committed 2026-09-03 12:28:59 +02:00
1 parent 75620ac338
commit 0ec8197007
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -30,7 +30,7 @@ if ! test -d $WORKSPACE/deps/opm-common
then
mkdir -p $WORKSPACE/deps/opm-common
pushd $WORKSPACE/deps/opm-common
repo_root=${OPM_REPO_ROOT:-https://github.com/OPM}
repo_root=${OPM_REPO_ROOT:-git@github.com:OPM}
git init .
git remote add origin ${repo_root}/opm-common
git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build
+1 -1
View File
@@ -21,7 +21,7 @@ fi
# Clone opm-common
mkdir -p $WORKSPACE/deps/opm-common
pushd $WORKSPACE/deps/opm-common
repo_root=${OPM_REPO_ROOT:-https://github.com/OPM}
repo_root=${OPM_REPO_ROOT:-git@github.com:OPM}
git init .
git remote add origin ${repo_root}/opm-common
git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build