🔨 chore: skip PR welcome comment for maintainer (#13519)

This commit is contained in:
YuTengjing
2026-04-02 23:42:28 +08:00
committed by GitHub
parent eb2731183f
commit 249483c3e1
2 changed files with 26 additions and 1 deletions
+13
View File
@@ -0,0 +1,13 @@
AmAzing129
arvinxx
canisminor1990
ilimei
Innei
lobehubbot
nekomeowww
ONLY-yours
rdmclin2
rivertwilight
sudongyuer
tcmonster
tjx666
+13 -1
View File
@@ -28,9 +28,21 @@ jobs:
✅ @{{ author }} ✅ @{{ author }}
This issue is closed, If you have any questions, you can comment and reply. This issue is closed, If you have any questions, you can comment and reply.
- name: Checkout repository
if: github.event_name == 'pull_request_target' && github.event.pull_request.merged == true
uses: actions/checkout@v4
- name: Check if PR author is maintainer
if: github.event.pull_request.merged == true
id: maintainer-check
run: |
if [ -f .github/maintainers.txt ] && grep -qx "${{ github.event.pull_request.user.login }}" .github/maintainers.txt; then
echo "skip=true" >> $GITHUB_OUTPUT
fi
- name: Auto Comment on Pull Request Merged - name: Auto Comment on Pull Request Merged
uses: actions-cool/pr-welcome@main uses: actions-cool/pr-welcome@main
if: github.event.pull_request.merged == true if: github.event.pull_request.merged == true && steps.maintainer-check.outputs.skip != 'true'
with: with:
token: ${{ secrets.GH_TOKEN }} token: ${{ secrets.GH_TOKEN }}
comment: | comment: |