From b42ea380289e716ef4ed0e5c32f22771e3ddece3 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@users.noreply.github.com>
Date: Thu, 7 May 2020 17:31:27 -0700
Subject: [PATCH] Automatically push release pipeline packages to nuget.org
 (#4249)

---
 scripts/release.yml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index c45f3befc..82bc82bb6 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -291,16 +291,16 @@ stages:
       inputs:
         artifact: 'NuGetPackage'
         path: $(Agent.TempDirectory)
-    - task: NuGetAuthenticate@0
+    - task: NuGetToolInstaller@0
       inputs:
-        nuGetServiceConnections: Z3Nuget
-#    - task: NuGetCommand@2
-#      inputs:
-#        command: push
-#        nuGetFeedType: external
-#        feedsToUse: select
-#        includeNuGetOrg: true
-#        packagesToPush: $(Agent.TempDirectory)
+        versionSpec: 5.x
+        checkLatest: false
+    - task: NuGetCommand@2
+      inputs:
+        command: push
+        nuGetFeedType: External
+        publishFeedCredentials: Z3Nuget
+        packagesToPush: $(Agent.TempDirectory)/*.nupkg
 
   - job: PyPIPublish
     displayName: "Publish to PyPI"