Skip to content

ci(desktop): merge release PR directly when mergeable, else auto-merge#34

Merged
DragonnZhang merged 1 commit into
mainfrom
codex/desktop-release-conditional-merge
Jun 16, 2026
Merged

ci(desktop): merge release PR directly when mergeable, else auto-merge#34
DragonnZhang merged 1 commit into
mainfrom
codex/desktop-release-conditional-merge

Conversation

@DragonnZhang

Copy link
Copy Markdown
Collaborator

What

The desktop release workflow's version-bump PR step (Enable auto-merge) currently always uses gh pr merge --auto, which waits on GitHub's auto-merge even when the PR is already mergeable.

This change makes it check the PR's mergeStateStatus first:

  • CLEAN → squash-merge immediately (gh pr merge without --auto)
  • otherwise → fall back to enabling auto-merge (gh pr merge --auto)

Shared merge args (--squash, --delete-branch, --subject) are factored into a merge_args array to avoid duplication. The step is renamed to Merge or enable auto-merge.

Why

Lets the release version PR land right away when it's already green, instead of always routing through auto-merge.

🤖 Generated with Claude Code

The release version-bump PR step now checks the PR's mergeStateStatus:
when CLEAN it squash-merges immediately, otherwise it falls back to
enabling auto-merge. Shared merge args are factored into an array.
@DragonnZhang DragonnZhang merged commit a53ae79 into main Jun 16, 2026
1 check passed
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