Repository navigation
In pull requests
simplifiedmachine edited this page Nov 2, 2026
·
2 revisions
Copy .github/workflows/system-diff.yml
into your repository, and change its install step to install system-diff (pip install system-diff).
On every pull request it:
- runs
system-diff diff --base origin/<base branch> --head HEAD(the checkout is the pull request merged into its base, so this is exactly what merging would do); - writes the headline and the plan to the run's summary, and as a comment on the pull request (updated, not repeated, on every push);
- uploads
diff.svgand the rest as the run's system-diff artifact.
A pull request from a fork gets a read-only token, so it has the summary and the artifact but no comment.
This repository's ci.yml
fails when the map is out of date:
system-diff map --dir . --out docs/diagrams --check
system-diff readme --json docs/diagrams/system.json --checkFix it with the same two commands without --check, and commit.
Nothing is GitHub-specific apart from the comment: any CI that has git and Python can run system-diff diff and post
headline.txt and plan.txt. Where the page cannot show SVG, system-diff png makes PNGs.