You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Create a new release: drain the open PR queue into Dev_new_gui, fix the broken release tagging, promote Dev_new_gui → main, and verify the Release workflow publishes a correct tag + GitHub Release.
Context
Releases are automated: push to main runs .github/workflows/release.yml (git-cliff bump → tag → GitHub Release → changelog PR).
Last promotion (2026-07-15) produced v0.4.1afterv0.5.0 existed — tag lineage is broken (see child issue).
Release v0.5.1 is published and correct: tag → promotion merge 72fcafe (ancestor of main ✓), notes cover the promoted range. PR queue drained to 0; changelog landed on main (#11851); back-merge #11852 (-s ours) absorbed main into Dev_new_gui (0 behind).
Discovered along the way (2 latent release-automation bugs)
Both fixes sit in PR #11854 (paths-ignore guard + permission), NOT yet merged. Leaving it unmerged is the safe state: the permission bug currently blocks the loop. Do NOT merge #11854 until reviewed — but when merged, both fixes land together (guard prevents the loop).
One decision pending (destructive → needs owner)
Spurious v0.5.2 (tag+release at changelog commit 0afb93b). Delete it (clean history; v0.5.1 remains the release) or keep it (harmless, becomes current). Awaiting owner.
Review pass confirms: 0 open PRs; my worktrees/branches removed; core fix (tag GITHUB_SHA) is the root-cause fix with the guard as inert defense-in-depth (no regression on normal releases); the dual-sandbox-validator duplication adjacent to fix #11824 was already consolidated by #11846 (shared resolve_within_sandbox, #11844).
Activity
mrveiss commentedon Jul 17, 2026
Progress 09:35Z
Task 1 (drain queue): #11822, #11803 + dependabot #11818/#11817/#11816/#11811/#11809/#11808 merged (partly by parallel session). Remaining open: #11824, #11819 (CI running, no failures), #11827 (recreated openai bump, CI running), #11800 (dependabot-orphaned — branch updated manually via API; coverage gap filed as #11829).
Task 2 (release.yml fix): PR #11828 open, CI running. Guard simulated: any cliff bump ≤ v0.5.0 → releases v0.5.1.
Next: merge remaining PRs when green → legacy-tag surgery (v0.4.1/v0.5.0 → their main-side parents) → promotion PR → verify release.
Merge pull request #11842 from mrveiss/Dev_new_gui
mrveiss commentedon Jul 17, 2026
Session paused — checkpoint
Release v0.5.1 is published and correct: tag → promotion merge 72fcafe (ancestor of main ✓), notes cover the promoted range. PR queue drained to 0; changelog landed on main (#11851); back-merge #11852 (
-s ours) absorbed main into Dev_new_gui (0 behind).Discovered along the way (2 latent release-automation bugs)
pull-requests: write; changelog-PR step has failed every release.Safe-state note
Both fixes sit in PR #11854 (paths-ignore guard + permission), NOT yet merged. Leaving it unmerged is the safe state: the permission bug currently blocks the loop. Do NOT merge #11854 until reviewed — but when merged, both fixes land together (guard prevents the loop).
One decision pending (destructive → needs owner)
Spurious v0.5.2 (tag+release at changelog commit 0afb93b). Delete it (clean history; v0.5.1 remains the release) or keep it (harmless, becomes current). Awaiting owner.
Remaining on resume
Decide v0.5.2 → merge #11854 → close #11826/#11853/#11855/#11829 + umbrella #11825 → remove worktrees (issue-11826, backmerge-v0.5.1) + branches.
mrveiss commentedon Jul 17, 2026
Update — v0.5.2 deleted (owner-approved)
Spurious v0.5.2 release + remote tag deleted. v0.5.1 is the clean, sole release for this promotion.
Remaining on resume (nothing time-sensitive; safe as-is)
pull-requests: write+paths-ignoreself-trigger guard — the two fixes must land together).issue-11826+backmerge-v0.5.1and their local branches.Session paused before doing the above.
mrveiss commentedon Jul 18, 2026
✅ Release complete — v0.5.1
All tasks done.
--merge --admin)Discovered + fixed along the way
pull-requests: write) — fixed fix(release): grant pull-requests:write so changelog PR step succeeds (#11853) #11854 ✅Post-release housekeeping
-s ours) — main absorbed into Dev_new_guiClosing umbrella. Only #11829 remains as an independent follow-up.
mrveiss commentedon Jul 18, 2026
Open follow-ups from this release (independent, tracked separately):
uvecosystem entry (priority: low)Review pass confirms: 0 open PRs; my worktrees/branches removed; core fix (tag
GITHUB_SHA) is the root-cause fix with the guard as inert defense-in-depth (no regression on normal releases); the dual-sandbox-validator duplication adjacent to fix #11824 was already consolidated by #11846 (sharedresolve_within_sandbox, #11844).