Multiple `docsite` workflows race condition

[AlonKellner]

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:

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.