commit bd0bd533dff6e987bd769cd69e6c02a7bf814888
author Ed Merks <ed.merks@gmail.com> Tue Oct 12 10:59:22 2021 +0200
committer Ed Merks <ed.merks@gmail.com> Tue Oct 12 10:59:22 2021 +0200
tree f16c8e0babce481c1e2b0331869fc3589792abf9
parent ff23fbad0f2ed6a7623e2ee763f09258306aa377

Bug 576531 - Use https: not git: for cloning; fix missing '

products/org.eclipse.justj.tools.sample.product/Jenkinsfile

diff --git a/products/org.eclipse.justj.tools.sample.product/Jenkinsfile b/products/org.eclipse.justj.tools.sample.product/Jenkinsfile
index 96cd6fe..790a516 100644
--- a/products/org.eclipse.justj.tools.sample.product/Jenkinsfile
+++ b/products/org.eclipse.justj.tools.sample.product/Jenkinsfile
@@ -92,7 +92,7 @@
               doGenerateSubmoduleConfigurations: false,
               extensions: [[$class: 'RelativeTargetDirectory', relativeTargetDir: 'justj.tools']],
               submoduleCfg: [],
-              userRemoteConfigs: [[url: https://git.eclipse.org/r/justj/justj.tools.git']]
+              userRemoteConfigs: [[url: 'https://git.eclipse.org/r/justj/justj.tools.git']]
             ]
           )