From 77e36a271b3bd98adfa701ade6bc8faa5cd4a57d Mon Sep 17 00:00:00 2001
From: Hendrik Eeckhaut <hendrik@eeckhaut.org>
Date: Mon, 24 Jul 2023 11:17:51 +0200
Subject: [PATCH] Build gh-pages for every push to master

---
 .github/workflows/build_deploy_master.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/build_deploy_master.yml b/.github/workflows/build_deploy_master.yml
index 0809dbf..b98ce51 100644
--- a/.github/workflows/build_deploy_master.yml
+++ b/.github/workflows/build_deploy_master.yml
@@ -3,10 +3,6 @@ name: Build & Deploy to Pages
 on:
   push:
     branches: [ master ]
-  pull_request:
-    types: [closed]
-    branches:
-      - master
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: