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

Commits

Commits on Jun 16, 2026