diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index ad81b4d4b..ea39d2ddd 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -507,7 +507,7 @@ stages:
     - task: GitHubRelease@0
       continueOnError: true 
       inputs:
-        gitHubConnection: Z3-Pipeline-Github
+        gitHubConnection: Z3Prover
         repositoryName: 'Z3Prover/z3'
         action: 'delete'
 #     target: '$(Build.SourceVersion)'
@@ -516,7 +516,7 @@ stages:
     - task: GitHubRelease@0
       continueOnError: true 
       inputs:
-        gitHubConnection: Z3-Pipeline-Github
+        gitHubConnection: Z3Prover
         repositoryName: 'Z3Prover/z3'
         action: 'create'
 #     target: '$(Build.SourceVersion)'