File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1515 if : github.event.pull_request.merged == true
1616
1717 steps :
18+ - name : Log PR Author Info
19+ run : |
20+ echo "PR Author Login: ${{ github.event.pull_request.user.login }}"
21+ echo "PR Author ID: ${{ github.event.pull_request.user.id }}"
22+ echo "PR Author Type: ${{ github.event.pull_request.user.type }}"
23+ echo "PR Author Node ID: ${{ github.event.pull_request.user.node_id }}"
24+
1825 - name : Post Thank You Comment
26+ if : >-
27+ github.event.pull_request.user.login != 'aklinker1' &&
28+ github.event.pull_request.user.login != 'Timeraa' &&
29+ github.event.pull_request.user.login != 'PatrykKuniczak' &&
30+ github.event.pull_request.user.login != 'dependabot[bot]' &&
31+ github.event.pull_request.user.login != 'copilot-swe-agent[bot]'
1932 uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
2033 env :
2134 comment : Thanks for helping make WXT better!
You can’t perform that action at this time.
0 commit comments