Issues 292-293: a drill counted as a repair; a warning on a required check blocked the merge #165

Merged
mesh-admin merged 1 commits from issues/292-293-a-drill-and-a-warning into main 2026-10-07 12:05:42 +00:00
1 Commits
Author SHA1 Message Date
jochen 9cf839c977 Issues 292-293: a drill counted as a repair, a warning on a required check blocking a merge
mesh/merge-gate pass: the change touches no module of the mesh's graph
mesh/repo-check pass: its merge-check.sh passed
mesh/delivery delivered
2026-10-07 13:56:39 +02:00