name: 🎉 PR closed on: pull_request_target: types: - closed permissions: contents: read pull-requests: write jobs: thank-you: runs-on: ubuntu-latest if: github.event.pull_request.merged == true steps: - name: Log PR Author Info run: | echo "PR Author Login: ${{ github.event.pull_request.user.login }}" echo "PR Author ID: ${{ github.event.pull_request.user.id }}" echo "PR Author Type: ${{ github.event.pull_request.user.type }}" echo "PR Author Node ID: ${{ github.event.pull_request.user.node_id }}" - name: Post Thank You Comment if: >- github.event.pull_request.user.login != 'aklinker1' && github.event.pull_request.user.login != 'Timeraa' && github.event.pull_request.user.login != 'PatrykKuniczak' && github.event.pull_request.user.login != 'nishu-murmu' && github.event.pull_request.user.login != 'dependabot[bot]' && github.event.pull_request.user.login != 'copilot-swe-agent[bot]' uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0 env: comment: Thanks for helping make WXT better! with: script: | github.rest.issues.createComment({ issue_number: context.issue.number, owner: context.repo.owner, repo: context.repo.repo, body: process.env.comment })