Skip to content

Release: drain PR queue, fix release tagging, promote Dev_new_gui → main #11825

Closed

Description

@mrveiss

Goal

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.1 after v0.5.0 existed — tag lineage is broken (see child issue).

Task Tree

Activity

  1. mrveiss commented on Jul 17, 2026

    @mrveiss
    OwnerAuthor

    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.

  2. added a commit that references this issue on Jul 17, 2026
  3. mrveiss commented on Jul 17, 2026

    @mrveiss
    OwnerAuthor

    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)

    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.

  4. mrveiss commented on Jul 17, 2026

    @mrveiss
    OwnerAuthor
  5. mrveiss commented on Jul 18, 2026

    @mrveiss
    OwnerAuthor

    ✅ Release complete — v0.5.1

    All tasks done.

    Task Status
    1. Drain PR queue ✅ fixes #11824/#11819/#11822/#11803, all dependabot, test-rot #11841 merged; #11800 orphan handled
    2. Fix release tagging ✅ #11828 (GITHUB_SHA + monotonic guard) + legacy tag surgery
    3. Promote Dev_new_gui → main ✅ #11842 (--merge --admin)
    4. Verify release ✅ v0.5.1 tag on promotion merge (ancestor of main), notes = correct range

    Discovered + fixed along the way

    Post-release housekeeping

    Closing umbrella. Only #11829 remains as an independent follow-up.

  6. mrveiss commented on Jul 18, 2026

    @mrveiss
    OwnerAuthor

    Open follow-ups from this release (independent, tracked separately):

    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).

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

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions