From e3899e7e9634f07fffdcb57b598733eeb4136e7a Mon Sep 17 00:00:00 2001 From: cghislai Date: Fri, 13 Aug 2021 01:19:35 +0200 Subject: [PATCH] jenkinsfile: update repo --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 76065aa..f99ed45 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ pipeline { description: 'Image to push (suffixed -fr or -en)' ) string( - name: 'REPO', defaultValue: 'docker.charlyghislain.com', + name: 'REPO', defaultValue: 'docker.valuya.com', description: 'Repo to push' ) credentials(