Paper/.github
Bjarne Koll bd592c9e60 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.
2024-02-28 15:18:58 +01:00
..
ISSUE_TEMPLATE [ci skip] Update download urls (#9100) 2023-04-05 02:06:59 +02:00
workflows Close PRs opened from orgs or bot accounts (#10281) 2024-02-28 15:18:58 +01:00
CODEOWNERS [ci skip] fix team name in codeowners 2022-06-29 20:10:55 -07:00