Kristoffer Dalby
380d1b0d0a
tools/bump: carry hand-pushed commits instead of pausing
...
Open PR with commits by others: rebase onto base, build on top, push
with lease. Rebase conflict pauses and comments once.
2026-10-15 10:50:32 +02:00
Kristoffer Dalby
bf63feb320
tools/bump: stop commenting when applied areas change
...
Description already carries the outcome; the comment was noise.
2026-10-15 10:50:32 +02:00
Kristoffer Dalby
611a70dff2
tools/bump: say which gates actually ran
...
The body claimed the nix checks had run regardless of --gate, which is
exactly the sort of thing a reviewer takes at face value.
2026-09-25 15:52:26 +02:00
Kristoffer Dalby
c3d771e23e
tools/bump: add the version bump tool
...
Keeps the interlocked pins current and reports what it could not move.
Areas apply, gate and commit one at a time, so a dependency that breaks
the build costs one commit rather than the whole pull request.
2026-09-25 15:52:26 +02:00
Kristoffer Dalby