You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/close-org-prs.yml
+2-9Lines changed: 2 additions & 9 deletions
Original file line number
Diff line number
Diff line change
@@ -27,25 +27,18 @@ jobs:
27
27
issue_number: pr.number,
28
28
labels: ['invalid']
29
29
});
30
-
// Close the PR
31
-
await github.rest.pulls.update({
32
-
owner: context.repo.owner,
33
-
repo: context.repo.repo,
34
-
pull_number: pr.number,
35
-
state: 'closed'
36
-
});
37
30
// Leave a comment
38
31
await github.rest.issues.createComment({
39
32
owner: context.repo.owner,
40
33
repo: context.repo.repo,
41
34
issue_number: pr.number,
42
-
body: "We don't allow pull requests from organization accounts. This PR has been closed."
35
+
body: "Please don't open PRs from a fork owned by a different organization rather than your account. It causes GitHub to disable the ability for maintainers to push changes, so we can't update this to prepare it for merge."
0 commit comments