From d59c5f602cd775fd7a96cd149505eac83f9ce294 Mon Sep 17 00:00:00 2001
From: jofleish <jofleish@microsoft.com>
Date: Mon, 15 Aug 2022 15:17:30 -0400
Subject: [PATCH] Update github service connection

---
 scripts/nightly.yaml | 4 ++--
 scripts/release.yml  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 98a378e59..d935d9d89 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -506,7 +506,7 @@ stages:
     - task: GitHubRelease@0
       continueOnError: true 
       inputs:
-        gitHubConnection: Z3GitHub
+        gitHubConnection: Z3-Pipeline-Github
         repositoryName: 'Z3Prover/z3'
         action: 'delete'
 #     target: '$(Build.SourceVersion)'
@@ -515,7 +515,7 @@ stages:
     - task: GitHubRelease@0
       continueOnError: true 
       inputs:
-        gitHubConnection: Z3GitHub
+        gitHubConnection: Z3-Pipeline-Github
         repositoryName: 'Z3Prover/z3'
         action: 'create'
 #     target: '$(Build.SourceVersion)'
diff --git a/scripts/release.yml b/scripts/release.yml
index 969e3697e..92ff9e14b 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -485,7 +485,7 @@ stages:
         path: $(Agent.TempDirectory)	
     - task: GitHubRelease@0
       inputs:
-        gitHubConnection: Z3GitHub
+        gitHubConnection: Z3-Pipeline-Github
         repositoryName: $(Build.Repository.Name)
         action: 'create'
         target: '$(Build.SourceVersion)'