From b8ee8f321004c88e83e684c3be384722724e3a84 Mon Sep 17 00:00:00 2001
From: Matthew Slowe <matthew.slowe@jisc.ac.uk>
Date: Wed, 24 Apr 2024 09:53:45 +0000
Subject: [PATCH] Resolve "Update repo.hostname as Jenkins has moved"

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index aca85f8..5f1947d 100644
--- 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}"/>