Skip to content

ci: retry direct merge while GitHub recomputes mergeability#369

Merged
christineschen merged 1 commit into
mainfrom
fix/auto-merge-mergeability-race
Jul 10, 2026
Merged

ci: retry direct merge while GitHub recomputes mergeability#369
christineschen merged 1 commit into
mainfrom
fix/auto-merge-mergeability-race

Commits

Commits on Jul 10, 2026