chore: remove semantic PR thank you comment to reduce PR spam (#6380)

This commit is contained in:
Matti Nannt
2025-08-11 09:24:59 +02:00
committed by GitHub
parent d994af2dfd
commit 95ee83ef31

View File

@@ -56,11 +56,3 @@ jobs:
```
${{ steps.lint_pr_title.outputs.error_message }}
```
# Delete a previous comment when the issue has been resolved
- if: ${{ steps.lint_pr_title.outputs.error_message == null }}
uses: marocchino/sticky-pull-request-comment@67d0dec7b07ed060a405f9b2a64b8ab319fdd7db # v2.9.2
with:
header: pr-title-lint-error
message: |
Thank you for following the naming conventions for pull request titles! 🙏