From 6bbe92406389dfc00567460e24494aee16d090bd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Jun 2019 16:48:59 -0700
Subject: [PATCH] try with create action to change commit id

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 5d633dc4b..11d95ea98 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -69,7 +69,7 @@ jobs:
     inputs:
       gitHubConnection: Z3GitHub
       repositoryName: 'Z3Prover/z3'
-      action: 'edit'
+      action: 'create'
       target: '$(Build.SourceVersion)'
       tagSource: 'manual'
       tag: 'Nightly'