From 274af63ff9aac03dd2de2bdb6c5c44fdb18cc1bd Mon Sep 17 00:00:00 2001 From: Christian Poessinger Date: Sun, 22 Sep 2019 20:05:33 +0200 Subject: Jenkins: output git repo URL --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) (limited to 'Jenkinsfile') diff --git a/Jenkinsfile b/Jenkinsfile index 5ff6bcb65..6e3ab11e1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,6 +32,7 @@ def isCustomBuild() { def gitURI = 'git@github.com:vyos/' + env.JOB_NAME def httpURI = 'https://github.com/vyos/' + env.JOB_NAME + echo getGitRepoURL() return ! ((getGitRepoURL() == gitURI) || (getGitRepoURL() == httpURI)) } -- cgit v1.2.3