From 70805ecfa53db9d676b6f24cd2f2d5bd0b8219b0 Mon Sep 17 00:00:00 2001
From: Garth Minette <revarbat@gmail.com>
Date: Fri, 21 May 2021 23:09:14 -0700
Subject: [PATCH] Restrict pull merge automation.

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

diff --git a/.github/workflows/docsgen.yml b/.github/workflows/docsgen.yml
index 9fa44bd..447de46 100644
--- a/.github/workflows/docsgen.yml
+++ b/.github/workflows/docsgen.yml
@@ -1,11 +1,13 @@
 name: CI
 on:
-  push:
+  pull_request:
     branches:
       - master
+    types: [closed]
 
 jobs:
   GenerateDocs:
+    if: github.event.pull_request.merged == true
     runs-on: macos-10.15
     steps:
     - name: Checkout