2 Commits

Author SHA1 Message Date
Jack Rosenberg
a3edf85590 ci/github-script: consider whether PR is mergable in 'eligible' maintainers comment
Co-authored-by: Matt Sturgeon <matt@sturgeon.me.uk>
2026-10-07 15:37:08 +01:00
Michael Daniels
148a05c8b7 ci/github-script/{bot,merge,reviewers}: convert to TypeScript
Assisted-by: gpt-6.1-sol (Codex, light)
2026-10-03 22:31:08 -04:00