From a3a6d524bf15a4a23f237e5c227cf7ab29bd94d4 Mon Sep 17 00:00:00 2001 From: Tomaz Zaman Date: Mon, 10 Aug 2026 19:45:54 +0200 Subject: [PATCH 17/77] mono-update: push branch and release tag to the mono remote Force-with-lease push of the rebased branch plus the release tag, gated on a machine-locally configured 'mono' remote so the committed script carries no repository coordinates. Co-Authored-By: Claude Fable 5 --- scripts/mono-update.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/scripts/mono-update.sh b/scripts/mono-update.sh index d686b0f8aa..8b60eb6025 100755 --- a/scripts/mono-update.sh +++ b/scripts/mono-update.sh @@ -98,4 +98,12 @@ else echo "mono-update: MONO_PUBLISH_DEST unset, artifacts staged in $OUT only" fi +# Push the rebased branch and release tag when a 'mono' remote is +# configured (machine-local in .git/config; nothing committed here). +if git remote get-url mono >/dev/null 2>&1; then + echo "mono-update: pushing $BRANCH and $RELTAG" + git push --force-with-lease mono "$BRANCH" + git push -f mono "$RELTAG" +fi + echo "mono-update: done - $RELTAG" -- 2.47.3