From ee94f8f5ce89651dd5e659f3e876b535f41ad73c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Jul 2019 13:52:41 +0100
Subject: [PATCH] update release script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 799cd2e4c..d8224b262 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -71,14 +71,6 @@ jobs:
      targetPath: tmp
 # TBD: build NuGet package
 # TBD: this script should build a specific pre-specified tag
-  - task: GitHubRelease@0
-    inputs:
-      gitHubConnection: Z3GitHub
-      repositoryName: 'Z3Prover/z3'
-      action: 'delete'
-      target: '$(Build.SourceVersion)'
-      tagSource: 'manual'
-      tag: 'Nightly'
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub
@@ -86,12 +78,12 @@ jobs:
       action: 'create'
       target: '$(Build.SourceVersion)'
       tagSource: 'manual'
-      tag: 'Nightly'
-      title: 'Nightly'
+      tag: 'z3-4.8.6'
+      title: 'z3-4.8.6'
       releaseNotesSource: 'input'
-      releaseNotes: 'nightly build'
+      releaseNotes: '4.8.6 release'
       assets: 'tmp/*'
-      isDraft: false
+      isDraft: true
       isPreRelease: true