From 856218f0b9fc48a42e5b23b1641bc80c0023c054 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Wed, 10 Jan 2024 13:21:59 -0800 Subject: [PATCH] build-system: push to origin instead of explicit URL Otherwise we don't use the embedded credentials and the push fails. Signed-off-by: Dirk Hohndel --- scripts/get-or-create-build-nr.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/get-or-create-build-nr.sh b/scripts/get-or-create-build-nr.sh index 0b9e2b218..988731dbb 100644 --- a/scripts/get-or-create-build-nr.sh +++ b/scripts/get-or-create-build-nr.sh @@ -33,13 +33,13 @@ else # now comes the moment of truth - are we the first one? # the push will succeed for exactly one of the workflows - if git push https://github.com/subsurface/nightly-builds "$SHA_BRANCH" + if git push origin "$SHA_BRANCH" then # yay - we win! now let's make sure that we remember this number for next time git checkout main echo $latest > latest-subsurface-buildnumber git commit -a -m "record latest build number in main branch" - if ! git push https://github.com/subsurface/nightly-builds main + if ! git push origin main then echo "push to main failed - we'll lose monotonic property" exit 1