Merge pull request #292 from thefrontside/cl/push-signed-commit

👷 Actually push the signed commits
thefrontside · Sep 17, 2024 · 72d7101 · 72d7101
2 parents 020a0a2 + 0fa3eb6
commit 72d7101
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/covector-version-or-release.yml b/.github/workflows/covector-version-or-release.yml
@@ -36,7 +36,9 @@ jobs:
         # recommit with the signature setup in the beginning of this action
       - name: Sign Commits
         if: steps.covector.outputs.commandRan == 'version'
-        run: git commit --amend --no-edit --reset-author
+        run: |
+          git commit --amend --no-edit --reset-author
+          git push --force-with-lease origin release
 
       - name: Create Pull Request With Versions Bumped
         uses: peter-evans/create-pull-request@v6