WIP -fu

.github/workflows/docs.yml

@@ -45,7 +45,7 @@ jobs:
           git config --global user.name 'github-actions'
           git config --global user.email '[email protected]'
           git commit -m "Update documentation"
-          git push -u origin update-docs
+          git push -Fu origin update-docs
         # env:
         #   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}