diff options
| author | Bjarne Koll <[email protected]> | 2024-02-28 15:18:58 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-02-28 15:18:58 +0100 |
| commit | 850b736e1442587230bbba241f99eb0cee193cd9 (patch) | |
| tree | 53ec946b15ea36d7830063c768faa34dd9fadc1c /gradle.properties | |
| parent | 681bbff110d9a56152ae898c4dfe1c0356b40e69 (diff) | |
| download | Paper-850b736e1442587230bbba241f99eb0cee193cd9.tar.gz Paper-850b736e1442587230bbba241f99eb0cee193cd9.zip | |
Close PRs opened from orgs or bot accounts (#10281)
Expands the existing close_invalid_prs workflow to also close prs that
were opened from repositories not owned by user accounts.
This is required as such PRs cannot be edited by maintainers.
The implementation re-uses the existing job instead of creating a new
job to limit the amount of checks to the bare minimum.
Diffstat (limited to 'gradle.properties')
0 files changed, 0 insertions, 0 deletions