Skip to content

Re-vendor check.sh at devkit v0.5.0 and add the update-branches workflow - #303

Merged
kikashy merged 1 commit into
mainfrom
revendor-devkit-v0.5.0
Oct 21, 2026
Merged

kikashy merged 1 commit into
mainfrom
revendor-devkit-v0.5.0

Conversation

@kikashy

@kikashy kikashy commented Oct 21, 2026

Copy link
Copy Markdown
Contributor

Re-vendors the development kit at v0.5.0 (devkit #18): scripts/dev/check.sh is the v0.5.0 template, and .github/workflows/update-branches.yml is added: after each push to the default branch it updates every open pull request branch that is behind, and labels a conflicting one carry needed with one comment naming the base commit. The kit's handover CI job is not added yet (devkit issue on vendoring its script).

Checks run locally: bash -n on the check script, the workflow parsed, git diff --check. CI runs the list.

Material-decision impact: tooling (no product code); merged by the coordinator on green CI without a review round.

🤖 Generated with Claude Code

scripts/dev/check.sh is the v0.5.0 template. The new workflow updates
every open pull request branch from the default branch after each push
to it and labels a conflicting branch "carry needed" for a carry.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: kikashy <kikashy@hotmail.com>
@kikashy
kikashy merged commit 598926b into main Oct 21, 2026
7 checks passed
@kikashy
kikashy deleted the revendor-devkit-v0.5.0 branch October 21, 2026 22:05
@github-actions

Copy link
Copy Markdown

🎉 Thank you for your contribution to Judgment Pack!

If you’d like another task, choose a path that interests you:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant