When submitting a PR multiple instances of the docsite workflow run at once, when they do they might reach a race condition when pushing to the docsite branch, resulting in the following error:
To https://github.com/AlonKellner/waloviz
! [rejected] docsite -> docsite (fetch first)
error: failed to push some refs to 'https://github.com/AlonKellner/waloviz'
hint: Updates were rejected because the remote contains work that you do not
hint: have locally. This is usually caused by another repository pushing to
hint: the same ref. If you want to integrate the remote changes, use
hint: 'git pull' before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
Error: Process completed with exit code 1.
Recommended Prior Knowledge
Experience with GitHub actions
Basic git knowledge
Suggestion
Retry the pull & push multiple times in the docsite.yml workflow.
Background
When submitting a PR multiple instances of the docsite workflow run at once, when they do they might reach a race condition when pushing to the
docsite
branch, resulting in the following error:Recommended Prior Knowledge
Suggestion
Retry the pull & push multiple times in the
docsite.yml
workflow.