From 5a7d6a2c69e7b7dc153f7d236223e850f9f4979c Mon Sep 17 00:00:00 2001
From: Ayoub Benaissa <ayoub.benaissa@zama.ai>
Date: Tue, 29 Mar 2022 09:01:43 +0100
Subject: [PATCH] chore: stop pushing to internal pypi by default

---
 .github/workflows/push-python-packages.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push-python-packages.yml b/.github/workflows/push-python-packages.yml
index c88c4677d..1f176fafc 100644
--- a/.github/workflows/push-python-packages.yml
+++ b/.github/workflows/push-python-packages.yml
@@ -5,6 +5,7 @@ on:
     inputs:
       internal_pypi:
         description: 'Whether to push to internal pypi'
+        default: 'false'
         required: true
         type: boolean
       public_pypi: