From b13b8748b649f0fd60a5fabfd50b8d0663b0f92b Mon Sep 17 00:00:00 2001
From: Florian Albrechtskirchinger <falbrechtskirchinger@gmail.com>
Date: Thu, 4 Aug 2022 22:53:05 +0200
Subject: [PATCH] Refine 'Publish documentation' workflow (#3673)

* Only publish documentation when changed

* Enable manual publishing of the documentation

* Don't try to publish documentation from forks
---
 .github/workflows/publish_documentation.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
index c06d535f0a..d0fb8f436b 100644
--- a/.github/workflows/publish_documentation.yml
+++ b/.github/workflows/publish_documentation.yml
@@ -5,6 +5,10 @@ on:
   push:
     branches:
       - develop
+    paths:
+      - docs/mkdocs/**
+      - docs/examples/**
+  workflow_dispatch:
 
 # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
 concurrency:
@@ -13,6 +17,7 @@ concurrency:
 
 jobs:
   publish_documentation:
+    if: github.repository == 'nlohmann/json'
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v3