Resolve "Update repo.hostname as Jenkins has moved"

InCommon · Apr 24, 2024 · b8ee8f3 · b8ee8f3
1 parent b0187a4
commit b8ee8f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -218,7 +218,7 @@
         Repo properties.
     -->
     <property name="repo.user" value="mdscp"/>
-    <property name="repo.hostname" value="repo.infr.ukfederation.org.uk"/>
+    <property name="repo.hostname" value="jenkins.infr.ukfederation.org.uk"/>
     <property name="repo.path" value="/tmp"/>
     <property name="repo.url" value="${repo.user}@${repo.hostname}:${repo.path}"/>