From d7cee441e181f88ff3e8276cd583636df8bad1cd Mon Sep 17 00:00:00 2001 From: pulpbot Date: Sun, 12 Apr 2026 17:44:19 +0000 Subject: [PATCH] Update CI files --- .github/workflows/scripts/release.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/scripts/release.sh b/.github/workflows/scripts/release.sh index a08353cdb56..40bbcb19836 100755 --- a/.github/workflows/scripts/release.sh +++ b/.github/workflows/scripts/release.sh @@ -24,4 +24,5 @@ towncrier build --yes --version "${NEW_VERSION}" bump-my-version bump release --commit --message "Release {new_version}" --tag --tag-name "{new_version}" --tag-message "Release {new_version}" --allow-dirty bump-my-version bump patch --commit -git push origin "${BRANCH}" "${NEW_VERSION}" +# Git push is not atomic by default! +git push --atomic origin "${BRANCH}" "${NEW_VERSION}"