diff --git a/create_release.sh b/create_release.sh index 10cff6b..b254165 100755 --- a/create_release.sh +++ b/create_release.sh @@ -26,7 +26,9 @@ echo "Merging $MAIN_BRANCH into $RELEASE_BRANCH..." git merge $MAIN_BRANCH --no-ff -m "Release $VERSION" echo "Pushing $RELEASE_BRANCH..." -git push origin $RELEASE_BRANCH +# Push to the 'all' remote so the release branch lands on both GitHub and Gitea. +# CI (GitHub Actions) still triggers via the GitHub pushurl. +git push all $RELEASE_BRANCH git checkout $MAIN_BRANCH diff --git a/scripts/release.sh b/scripts/release.sh index 096c45c..bcbf9ee 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -34,4 +34,6 @@ vim "$CHANGELOG" # Commit and push git add "$CARGO_TOML" "$CHANGELOG" git commit -m "Release v${new_version}" -git push --force origin "$(git branch --show-current):release" +# Push to the 'all' remote so the release branch lands on both GitHub and Gitea. +# CI (GitHub Actions) still triggers via the GitHub pushurl. +git push --force all "$(git branch --show-current):release"