ci(release): prevent deleting commits (#3356) (#3360)

This can happen if commits are added to the release branch while an RC is being created. (cherry picked from commit 2810f6c) Co-authored-by: Ev <[email protected]>
camunda · Sep 26, 2024 · bce647f · bce647f
1 parent 6148cca
commit bce647f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/RELEASE.yaml b/.github/workflows/RELEASE.yaml
@@ -248,9 +248,9 @@ jobs:
       - name: Commit and tag
         run: |
           git commit -am "ci: release version ${RELEASE_VERSION}"
-          git push --force origin ${RELEASE_BRANCH}
+          git push --force-with-lease origin ${RELEASE_BRANCH}
           git tag -fa ${RELEASE_VERSION} -m "ci: release version ${RELEASE_VERSION}"
-          git push --force origin ${RELEASE_VERSION}
+          git push --force-with-lease origin ${RELEASE_VERSION}
 
         env:
           RELEASE_VERSION: ${{ github.event.release.tag_name }}