Retry PR publication while GitHub catches up with the pushed commit - #20

Retry PR publication while GitHub catches up with the pushed commit#20

d3cker merged 1 commit into

develd3cker/opencode2-github-automation:develfrom

codex/retry-pr-head-propagationd3cker/opencode2-github-automation:codex/retry-pr-head-propagationCopy head branch name to clipboard