From 5e2af1ba5408c3f9bbd255e815c5d7cc712400da Mon Sep 17 00:00:00 2001
From: Ashwin Maroli <ashmaroli@gmail.com>
Date: Fri, 22 May 2020 22:18:28 +0530
Subject: [PATCH] Trigger Deploy Docs on push event

---
 .github/workflows/deploy_docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
index 1b05b2d6..8b8fffbb 100644
--- a/.github/workflows/deploy_docs.yml
+++ b/.github/workflows/deploy_docs.yml
@@ -1,6 +1,6 @@
 name: Build and deploy Jekyll documentation site
 on:
-  pull_request:
+  push:
     branches:
       - master
 jobs: