From 381abcc19bdf8bf7aea5352fdf2f437b219cbb72 Mon Sep 17 00:00:00 2001
From: Gautzilla <gauthier.berthomieu@gmail.com>
Date: Thu, 8 Oct 2026 10:52:15 +0200
Subject: [PATCH 1/4] build documentation in PR CI but keep the upload to
 pushes in the main branch

---
 .github/workflows/documentation.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index db87b2a1..643b2957 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -3,6 +3,7 @@ name: documentation
 on:
   push:
     branches: [ main ]
+  pull_request:
   workflow_dispatch:
 
 permissions:
@@ -35,8 +36,12 @@ jobs:
       run: uv run sphinx-build docs/source _site
 
     - name: Upload Pages artifact
+      if: github.event_name != 'pull_request'
       uses: actions/upload-pages-artifact@v5
+      with:
+        path: _site
 
     - name: Deploy to GitHub Pages
       id: deployment
+      if: github.event.event_name != 'pull_request'
       uses: actions/deploy-pages@v5

From 48f08f72626819fcc77f8b65d4f8df10a2e9acee Mon Sep 17 00:00:00 2001
From: Gautzilla <gauthier.berthomieu@gmail.com>
Date: Thu, 8 Oct 2026 11:21:50 +0200
Subject: [PATCH 2/4] add auto-merge CI for dependabot patch and minor updates

---
 .github/workflows/dependabot-auto-merge.yml | 35 +++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 .github/workflows/dependabot-auto-merge.yml

diff --git a/.github/workflows/dependabot-auto-merge.yml b/.github/workflows/dependabot-auto-merge.yml
new file mode 100644
index 00000000..786fdc89
--- /dev/null
+++ b/.github/workflows/dependabot-auto-merge.yml
@@ -0,0 +1,35 @@
+name: Dependabot auto-merge
+on: pull_request
+
+permissions:
+  pull-requests: write
+
+jobs:
+  dependabot:
+    if: github.event.pull_request.user.login == 'dependabot[bot]'
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Fetch Dependabot metadata
+        id: metadata
+        uses: dependabot/fetch-metadata@d7267f607e9d3fb96fc2fbe83e0af444713e90b7
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Approve Dependabot PR
+        if: |
+          steps.metadata.outputs.update-type == 'version-update:semver-patch' ||
+          steps.metadata.outputs.update-type == 'version-update:semver-minor'
+        run: gh pr review --approve "$PR_URL"
+        env:
+          PR_URL: ${{ github.event.pull_request.html_url }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Enable auto-merge
+        if: |
+          steps.metadata.outputs.update-type == 'version-update:semver-patch' ||
+          steps.metadata.outputs.update-type == 'version-update:semver-minor'
+        run: gh pr merge --auto --squash "$PR_URL"
+        env:
+          PR_URL: ${{ github.event.pull_request.html_url }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

From 91c84867dc1b314a55d0d7ce668a631d22366ce2 Mon Sep 17 00:00:00 2001
From: Gautzilla <gauthier.berthomieu@gmail.com>
Date: Thu, 8 Oct 2026 11:25:58 +0200
Subject: [PATCH 3/4] target generic fetch-metadata version tag

---
 .github/workflows/dependabot-auto-merge.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/dependabot-auto-merge.yml b/.github/workflows/dependabot-auto-merge.yml
index 786fdc89..64ce3311 100644
--- a/.github/workflows/dependabot-auto-merge.yml
+++ b/.github/workflows/dependabot-auto-merge.yml
@@ -12,7 +12,7 @@ jobs:
     steps:
       - name: Fetch Dependabot metadata
         id: metadata
-        uses: dependabot/fetch-metadata@d7267f607e9d3fb96fc2fbe83e0af444713e90b7
+        uses: dependabot/fetch-metadata@v3
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
 

From d856c67a94a7c2bf0278de77cd208dbebc753939 Mon Sep 17 00:00:00 2001
From: Gautzilla <gauthier.berthomieu@gmail.com>
Date: Thu, 8 Oct 2026 11:37:49 +0200
Subject: [PATCH 4/4] =?UTF-8?q?fix=20github.event=C3=83=5Fname=20call?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 643b2957..00401493 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -43,5 +43,5 @@ jobs:
 
     - name: Deploy to GitHub Pages
       id: deployment
-      if: github.event.event_name != 'pull_request'
+      if: github.event_name != 'pull_request'
       uses: actions/deploy-pages@v5