From c32dfed7d5134770f0d91f0c4f7c2c85854ef243 Mon Sep 17 00:00:00 2001
From: AntonReinhard <anton.reinhard@proton.me>
Date: Wed, 7 Jan 2026 20:44:29 +0100
Subject: [PATCH] Disable running deploy docs for PRs coming from a fork

---
 .github/workflows/docs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0897b36..6744d92 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -49,6 +49,10 @@ jobs:
 
     # Specify runner + deployment step
     runs-on: ubuntu-latest
+
+    # Shouldn't run when the PR comes from a fork
+    if: ${{ !github.event.pull_request.head.repo.fork }}
+
     steps:
       - name: Deploy to GitHub Pages
         id: deployment