diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 2111ef4cc..db62beed2 100644
--- a/scripts/nightly.yaml
+++ b/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'
diff --git a/scripts/release.yml b/scripts/release.yml
index a28cd594c..3c79de5e4 100644
--- a/scripts/release.yml
+++ b/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'