From d263d7291e0cd4f544cfe07ed52bf2e369960d21 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 6 Jun 2020 15:42:03 -0700
Subject: [PATCH] ;ci: really disable quick push.yml ?

---
 .github/workflows/{push.yml => _push.yml} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename .github/workflows/{push.yml => _push.yml} (99%)

diff --git a/.github/workflows/push.yml b/.github/workflows/_push.yml
similarity index 99%
rename from .github/workflows/push.yml
rename to .github/workflows/_push.yml
index bed9377bb..f0c753f25 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/_push.yml
@@ -8,7 +8,7 @@ name: push CI
 
 on:
   push:
-    branches: [ ]
+    branches: [ master ]
     paths:
       - '.github/workflows/push.yml'
       - 'stack*.yaml'