diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 4e5ae8abc..2b0bd5ada 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -37,6 +37,7 @@ jobs:
       - name: Copy developer docs to repository
         if: github.ref == 'refs/heads/main'
         uses: nkoppel/push-files-to-another-repository@v1.1.2
+        continue-on-error: true
         env:
           API_TOKEN_GITHUB: ${{ steps.get_token.outputs.token }}
         with: