5 Commits

Author SHA1 Message Date
Michael Daniels f5ee5762f0 ci/github-script/manual-file-edits: skip on PRs from one dev branch to another
Same logic as in lint-commits.

Fixes https://matrix.to/#/!EoslJfrUGMtQOAfnht:lassul.us/$govFR3OHnME2TZh7tcDSJfXAEfnMVUevnv4l5y4qFD0?via=nixos.org&via=matrix.org&via=catgirl.cloud
2026-05-08 13:37:28 -04:00
Michael Daniels 1c3e149546 Reapply {ci,workflows}: allow multiple blocking reviews"
A couple of bugfixes, but the problem was that the apps weren't installed.
2026-05-03 18:17:03 -04:00
Michael Daniels cd2e5a371b Revert "{ci,workflows}: allow multiple blocking reviews" 2026-05-03 13:21:39 -04:00
Michael Daniels 636fc13366 {ci,workflows}: allow multiple blocking reviews 2026-05-02 18:09:26 -04:00
Michael Daniels bd7e8b992b ci/github-script/manual-file-edits: init
Blocks manual edits to github-teams.json
2026-04-12 19:57:37 -04:00