From cc8dbbe8b31cfc58c2dfc0035ac2a571e7d8fb59 Mon Sep 17 00:00:00 2001
From: Yannick Jadoul <yannick.jadoul@belgacom.net>
Date: Mon, 8 Jun 2020 15:50:38 +0200
Subject: [PATCH] Make deploy on published GitHub release optional in
 examples/github-deploy.yml

---
 examples/github-deploy.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/examples/github-deploy.yml b/examples/github-deploy.yml
index 625c67bd..54c4c2bc 100644
--- a/examples/github-deploy.yml
+++ b/examples/github-deploy.yml
@@ -1,11 +1,11 @@
 name: Build and upload to PyPI
 
-on:
-  - push
-  - pull_request
-  - release:
-      types:
-        - published
+on: [push, pull_request]
+# alternatively, to publish when a (published) GitHub Release is created, use the following:
+# on:
+#   release:
+#     types:
+#       - published
 
 jobs:
   build_wheels: