Skip to content

Key merge-bot concurrency on PR number, not github.ref - #206

Merged
ptr727 merged 1 commit into
developfrom
mergebot-per-pr-concurrency
Jun 25, 2026
Merged

Key merge-bot concurrency on PR number, not github.ref#206
ptr727 merged 1 commit into
developfrom
mergebot-per-pr-concurrency