mifr/subsurface
1
0
Fork 0
mirror of https://github.com/subsurface/subsurface.git synced 2025-02-19 22:16:15 +00:00
Code Issues Projects Releases Packages Wiki Activity

build-system: push to origin instead of explicit URL

Browse source 
Otherwise we don't use the embedded credentials and the push fails.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2024-01-10 13:21:59 -08:00
parent 9aa9bec914
commit 744257149f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/get-or-create-build-nr.sh
View file

@ -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