Skip to content

Commit 91ffecc

Browse files
Add PR closed handler workflow
This workflow triggers when a pull request is closed, commenting on whether it was merged or not.
1 parent 4eb5fa1 commit 91ffecc

1 file changed

Lines changed: 31 additions & 0 deletions

File tree

.github/workflows/pr-closed.yml

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
name: PR Closed Handler
2+
3+
on:
4+
pull_request:
5+
types: [closed]
6+
7+
jobs:
8+
on-close:
9+
runs-on: ubuntu-latest
10+
11+
steps:
12+
- name: Comment on PR close
13+
uses: actions/github-script@v7
14+
with:
15+
script: |
16+
const pr = context.payload.pull_request;
17+
18+
let message = "";
19+
20+
if (pr.merged) {
21+
message = "🎉 PR merged successfully. Thanks for contributing!";
22+
} else {
23+
message = "❌ PR closed without merge. Please fix issues and try again.";
24+
}
25+
26+
await github.rest.issues.createComment({
27+
owner: context.repo.owner,
28+
repo: context.repo.repo,
29+
issue_number: pr.number,
30+
body: message
31+
});

0 commit comments

Comments
 (0)