fix: use the correct git reference in pull requests

HotSprings-GmbH · Dec 21, 2022 · 1abebe6 · 1abebe6
1 parent 3c3b799
commit 1abebe6
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/format_and_lint.yaml b/.github/workflows/format_and_lint.yaml
@@ -35,6 +35,4 @@ jobs:
                   pre-commit install
                   pre-commit run --hook-stage manual --all-files
                   git fetch
-                  export branch_name=${{ github.ref_name }}
-                  if [[ ${{ github.event_name }} == "pull_request" ]]; then export branch_name=${{ github.head_ref}}; fi
-                  ./check_commit_msgs.sh -c "remotes/origin/${branch_name}" -m "remotes/origin/${{ github.event.repository.default_branch }}"
+                  ./check_commit_msgs.sh -c HEAD -m "remotes/origin/${{ github.event.repository.default_branch }}"