ci(repo): commit formatting changes in PR

Commit to the PR branch any automated changes
camunda · Dec 18, 2023 · 122635e · 122635e
1 parent e3d3dda
commit 122635e
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml
@@ -33,8 +33,14 @@ jobs:
         run: |
           git config --global user.name 'GitHub Action'
           git config --global user.email '[email protected]'
+
+          # Check out the branch
+          git fetch
+          git checkout ${{ github.head_ref }}
+
+          # Add, commit, and push changes
           git add -A
           git diff --staged --quiet || git commit -m "Apply Prettier formatting"
-          git push
+          git push origin ${{ github.head_ref }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}