use userSpecifiedTag instead of gitTag

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/nightly.yaml

@@ -575,7 +575,7 @@ stages:
         repositoryName: 'Z3Prover/z3'
         action: 'delete'
 #     target: '$(Build.SourceVersion)'
-        tagSource: 'gitTag'
+        tagSource: 'userSpecifiedTag'
         tag: 'Nightly'
     - task: GitHubRelease@1
       continueOnError: true 
@@ -584,7 +584,7 @@ stages:
         repositoryName: 'Z3Prover/z3'
         action: 'create'
 #     target: '$(Build.SourceVersion)'
-        tagSource: 'gitTag'
+        tagSource: 'userSpecifiedTag'
         tag: 'Nightly'
         title: 'Nightly'
         releaseNotesSource: 'input'

scripts/release.yml

@@ -576,7 +576,7 @@ stages:
         repositoryName: $(Build.Repository.Name)
         action: 'create'
         target: '$(Build.SourceVersion)'
-        tagSource: 'gitTag'
+        tagSource: 'userSpecifiedTag'
         tag: 'z3-$(ReleaseVersion)'
         title: 'z3-$(ReleaseVersion)'
         releaseNotesSource: 'input'