From ff5cc9c7fed9c8469aee410a14a8be93fa395b5d Mon Sep 17 00:00:00 2001
From: Victor Quinn <mail@victorquinn.com>
Date: Sat, 31 Aug 2019 16:03:30 -0400
Subject: [PATCH] Only push docs if this is merged into master

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index ada5b930..06efaa2e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -21,6 +21,7 @@ jobs:
         with:
           node-version: 12
       - name: build and deploy
+        if: github.event_name == 'pull_request' && github.event.pull_request.merged == 'true'
         run: |
           yarn
           yarn docs