Force push to avoid keeping tons of old docs

.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