Push to origin/HEAD

Chrimle · Oct 10, 2024 · f74e6e9 · f74e6e9
1 parent 2d56996
commit f74e6e9
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/pullRequestAudit.yml b/.github/workflows/pullRequestAudit.yml
@@ -96,9 +96,6 @@ jobs:
           git config --global user.name "github-actions[bot]"
           git config --global user.email "github-actions[bot]@users.noreply.github.com"
           
-          # Check out the branch for the pull request
-          git checkout ${{ github.head_ref }}
-          
           git add pom.xml
           git commit -m "Update project version $current_version -> $new_version" || echo "No changes to commit."
-          git push origin ${{ github.head_ref }}
+          git push origin HEAD