Commit Graph

2 Commits

Author SHA1 Message Date
Sam Heinz caabe7aab4 fix keep-open for close invalid pr 2026-07-28 18:03:56 +10:00
Michel Roegl-Brunner e15db754a6 github: close PRs that do not follow the PR template
Add a workflow that validates description, prerequisites, and type-of-change checkboxes, with exemptions for bots, maintainers, and the keep open label.
2026-07-16 11:46:06 +02:00