From ad55a1f1c617a7f0c3dd735c0780fc758424c7f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 May 2020 14:12:38 -0700
Subject: [PATCH] Update release.yml for Azure Pipelines

disable pypi republish for 4.8
---
 scripts/release.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/release.yml b/scripts/release.yml
index 3111a71b864..27657016a61 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -309,6 +309,7 @@ stages:
         packagesToPush: $(Agent.TempDirectory)/*.nupkg
 
   - job: PyPIPublish
+    condition: eq(0,1)
     displayName: "Publish to PyPI"
     pool:
       vmImage: "ubuntu-16.04"