From 94218ddde2fbf19006fa22cbd346bd7cac08beac Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 9 Jun 2020 10:28:43 -0700
Subject: [PATCH] ;ci: disable the release workflow, hopefully

---
 .github/workflows/push.yml    | 1 +
 .github/workflows/release.yml | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index f4316bf12..c34c5faef 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -9,6 +9,7 @@ name: push CI
 on:
   push:
     # branches: [ master ]
+    # disable this workflow:
     branches-ignore:
       - '**'
     paths:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 50ecc8ab1..76bebd855 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,12 +1,14 @@
 # Create a github release, when a tag starting with a digit is pushed (anywhere ?)
-
-# https://github.com/actions/create-release
+# https://github.com/actions/create-release - not ready for prime time, 20200609
 
 name: Create Release
 
 on:
   push:
     tags: [ '[0-9]*' ]
+    # disable this workflow:
+    branches-ignore:
+      - '**'
 
 jobs:
   build: