This repository has been archived on 2026-11-02. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
jochen 81f3c2d01b
mesh/merge-gate out of date: judged against a trunk it does not name, the trunk is now f8daec01d3f0; judged again on a recheck or when it is merged
mesh/repo-check out of date: judged against a trunk it does not name, the trunk is now f8daec01d3f0; judged again on a recheck or when it is merged
mesh/delivery stopped: the pull request closed unmerged
Test that plan --diff says a left-out module before the diff, through printed()
2026-10-09 14:46:42 +02:00
..