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: