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

---
 .github/workflows/{_push.yml => push.yml} | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
 rename .github/workflows/{_push.yml => push.yml} (98%)

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