add short git commit hash to PR comment

Fixes #11.
pkgcraft · Nov 18, 2024 · 4727dfa · 4727dfa
1 parent 5329d45
commit 4727dfa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -60,6 +60,7 @@ runs:
       shell: bash
       run: |
         echo "REPO=${{ inputs.repo }}" >> $GITHUB_ENV
+        echo "GIT_COMMIT=$(git rev-parse --short HEAD)" >> $GITHUB_ENV
         echo "GIT_DEFAULT_BRANCH=${{ github.event.repository.default_branch }}" >> $GITHUB_ENV
         echo "GH_PR=${{ github.event.number }}" >> $GITHUB_ENV
         echo "GIT_BASE_BRANCH=${{ github.base_ref }}" >> $GITHUB_ENV

diff --git a/pkgcruft-action b/pkgcruft-action
@@ -68,6 +68,7 @@ set +e
 			# add PR comment using diff format
 			pr=$(mktemp)
 			echo '```diff' >> "${pr}"
+			echo "Commit: ${GIT_COMMIT}" >> "${pr}"
 			cat "${header}" >> "${pr}"
 			cat "${diff}" >> "${pr}"
 			echo '```' >> "${pr}"