File tree Expand file tree Collapse file tree 1 file changed +41
-0
lines changed
Expand file tree Collapse file tree 1 file changed +41
-0
lines changed Original file line number Diff line number Diff line change 1+ name : Close PR
2+
3+ on :
4+ pull_request_target :
5+ types :
6+ - opened
7+
8+ jobs :
9+ close_pull_request :
10+ runs-on : ubuntu-latest
11+
12+ permissions :
13+ pull-requests : write
14+
15+ steps :
16+ - name : Comment on and close PR
17+ uses : actions/github-script@v7
18+ with :
19+ script : |
20+ const comment = `
21+ Thank you for your contribution!
22+ This repository does not accept pull requests, as changes are managed directly by the maintainer.
23+ If you’d like to suggest improvements or report issues, please open an issue instead.
24+ In rare cases, a maintainer may reopen this pull request if the change is considered valuable.
25+ `;
26+
27+ const pr_number = context.issue.number;
28+
29+ await github.rest.issues.createComment({
30+ owner: context.repo.owner,
31+ repo: context.repo.repo,
32+ issue_number: pr_number,
33+ body: comment
34+ });
35+
36+ await github.rest.pulls.update({
37+ owner: context.repo.owner,
38+ repo: context.repo.repo,
39+ pull_number: pr_number,
40+ state: 'closed'
41+ });
You can’t perform that action at this time.
0 commit comments