From d0159f24529ef0de0da7d690efba103ae14f12be Mon Sep 17 00:00:00 2001
From: Jonathan G Rennison <j.g.rennison@gmail.com>
Date: Sun, 11 Apr 2021 03:16:06 +0100
Subject: [PATCH] Github: Disable CI build workflow on push to master

---
 .github/workflows/ci-build.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml
index e2338f3dba..54d644a0a9 100644
--- a/.github/workflows/ci-build.yml
+++ b/.github/workflows/ci-build.yml
@@ -2,9 +2,9 @@ name: CI
 
 on:
   pull_request:
-  push:
-    branches:
-    - master
+#  push:
+#    branches:
+#    - master
   workflow_dispatch:
     inputs:
       ref: