From adc854f84c9ff6993d3a30a5777c647564c8f6be Mon Sep 17 00:00:00 2001
From: Jens Klingenberg <mail@jensklingenberg.de>
Date: Sun, 8 Oct 2023 12:02:36 +0200
Subject: [PATCH] Disable automatic publish of documentation

Trigger manually when needed
---
 .github/workflows/gh-pages.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 1727f2ab3..f579abe60 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -3,9 +3,6 @@ on:
   # schedule:
   # - cron:  '30 5,17 * * *'
   workflow_dispatch:
-  push:
-    branches:
-      - master
 jobs:
   deploy:
     runs-on: ubuntu-latest