diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index a03b8abbd..f970a76c9 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -94,4 +94,4 @@ jobs: git config user.email 41898282+github-actions[bot]@users.noreply.github.com git add . git commit -m "Docs build for ${BRANCH_OR_TAG} ${BRANCH_NAME}: ${SHA}" || true - git push + git push -f