Documentation workflow fix

.github/workflows/documentation.yml

@@ -4,6 +4,10 @@ on:
   push:
     branches:
       - main  # or your default branch
+    paths-ignore:
+      - 'docs/**'  # Ignore changes to 'docs/' directory
+permissions:
+  contents: write
 
 jobs:
   build-documentation:
@@ -40,4 +44,4 @@ jobs:
           git config --local user.name "GitHub Actions"
           git add docs/
           git commit -m "Update documentation" -a || exit 0  # Exit if nothing to commit
-          git push https://${{ secrets.MIMIR_PAT }}@github.com/${{ github.repository }}.git
+          git push