diff --git a/.github/workflows/sync.yml b/.github/workflows/sync.yml index e99c270..350b4fc 100644 --- a/.github/workflows/sync.yml +++ b/.github/workflows/sync.yml @@ -18,6 +18,16 @@ on: - cron: '0 6 * * 1' workflow_dispatch: +# One sync at a time. Two repositories merging within a minute of each other +# dispatch two runs, both check out the same main, and the second push is +# rejected as not a fast-forward: certpilot#118 and certpilot-agent#6 did +# exactly that on 2026-09-27. Queued rather than cancelled, because a run in +# progress is publishing something. GitHub keeps one pending run per group, +# so a burst of merges ends with the newest, which reads both repositories. +concurrency: + group: sync + cancel-in-progress: false + permissions: contents: write pull-requests: write