From 39af2ee9380935ebf7037a2c86eb783ed5c40cce Mon Sep 17 00:00:00 2001
From: Steve Mason <stevem@brandwatch.com>
Date: Mon, 25 Apr 2022 09:27:50 +0100
Subject: [PATCH] Use a different credential for the Jenkins github build

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ac6e59a..63114cf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ node ('docker') {
     dir ("${WORKSPACE}/build") {
         sh "install -d ${WORKSPACE}/build";
         stage ('Fetch repository') {
-            git credentialsId: '9518243f-f5dd-4054-8420-d5da92a6da1e', url: 'git@github.com:BrandwatchLtd/count_distinct.git';
+            git credentialsId: 'github-api', url: 'git@github.com:BrandwatchLtd/count_distinct.git';
         }
         stage ('Build Docker image') {
             img = docker.build('debian8-pgsql-builder');