diff --git a/.github/workflows/haddocks.yaml b/.github/workflows/haddocks.yaml index 923283c82a..d49e138170 100644 --- a/.github/workflows/haddocks.yaml +++ b/.github/workflows/haddocks.yaml @@ -96,5 +96,5 @@ jobs: else git add . git commit -m "Regenerated haddocks based on ${GITHUB_SHA}" - git push + git push --force origin haddocks fi