check only merged PRs (#5)

This commit is contained in:
Teodor Daskalov 2025-01-16 20:55:38 +02:00 committed by GitHub
parent a10867434d
commit 63b1c9826b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -105,7 +105,7 @@ jobs:
git tag -a $NEW_TAG -m "New tag: $NEW_TAG" git tag -a $NEW_TAG -m "New tag: $NEW_TAG"
git push origin $NEW_TAG git push origin $NEW_TAG
PR_NUMBER=$(gh pr list --head ${{ github.ref_name }} --state open --json number --jq '.[0].number') PR_NUMBER=$(gh pr list --head ${{ github.ref_name }} --state merged --json number --jq '.[0].number')
if [[ -n "$PR_NUMBER" ]]; then if [[ -n "$PR_NUMBER" ]]; then
echo ":rocket: A new tag ${NEW_TAG} has been created and pushed!" echo ":rocket: A new tag ${NEW_TAG} has been created and pushed!"
gh pr comment $PR_NUMBER -b ":rocket: A new tag ${NEW_TAG} has been created and pushed!" gh pr comment $PR_NUMBER -b ":rocket: A new tag ${NEW_TAG} has been created and pushed!"