Repository navigation
kernel: move the default kernel job to bot.py - #72
Merged
Merged
Conversation
fcuny
changed the title
fcuny
force-pushed
the
wt/kernel-bot-default
branch
from
October 25, 2026 19:47
1ab0372 to
6642bb4
Compare
fcuny
force-pushed
the
wt/kernel-bot-default
branch
from
October 25, 2026 19:50
6642bb4 to
fdc57cf
Compare
fcuny
force-pushed
the
wt/kernel-bot-default
branch
from
October 25, 2026 19:50
fdc57cf to
862f300
Compare
fcuny
force-pushed
the
wt/kernel-bot-default
branch
2 times, most recently
from
October 25, 2026 19:57
2f63a16 to
3a4bc97
Compare
fcuny
marked this pull request as ready for review
October 25, 2026 19:58
fcuny
force-pushed
the
wt/kernel-bot-default
branch
2 times, most recently
from
October 25, 2026 20:00
49ffeae to
2326dc9
Compare
fcuny
force-pushed
the
wt/kernel-bot-default
branch
from
October 25, 2026 20:01
2326dc9 to
54a7100
Compare
…e PR was closed Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
fcuny
force-pushed
the
wt/kernel-bot-default
branch
from
October 25, 2026 20:02
54a7100 to
394375a
Compare
A default-kernel PR closed because a newer series superseded it no longer keeps the default from moving to that series later. Only series branches are closed as superseded, the PRs are only looked up for a newer series, and retag matches what the sed did, two dots included. The kernel-bot workflow runs when cmd/c2vm/kernel.go changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Moves the kernel workflow's
defaultjob tokernel/bot.py default. Thesedbecomesretag, a regex tested with the same cases: a tag at the end of a line or a sentence changes;:7.2.9and:7.20don't.New: like the kernel-update workflow, it skips a series whose PR was closed, so closing the default-kernel PR keeps the current default. The kernel README says so. A PR the bot closed itself, with its "Superseded by" comment, doesn't count: that series can still become the default later, e.g. after a newer one is rolled back.
Run locally on main, it skips (the default is already
:7.3). A dry run ofretagfrom 7.3 to 7.4 changes the same lines as #67.🤖 Generated with Claude Code