Paper/.github/workflows
Bjarne Koll 850b736e14
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
..
build.yml [ci skip] Make test results viewable in-browser and downloadable (#10055) 2023-12-19 19:33:46 -08:00
close_invalid_prs.yml Close PRs opened from orgs or bot accounts (#10281) 2024-02-28 15:18:58 +01:00
pr_comment.yml [ci skip] couple more fixes for build pr jar label (#8599) 2022-11-30 12:45:27 -08:00
projects.yml [ci skip] add 'accepted' to Done project category (#9429) 2023-07-01 10:24:58 +02:00
test_results.yml [ci skip] Make test results viewable in-browser and downloadable (#10055) 2023-12-19 19:33:46 -08:00