From 9767efbd93cceb781d920042a27c801ddc4d2277 Mon Sep 17 00:00:00 2001
From: Rhys Smith <rhys.smith@jisc.ac.uk>
Date: Fri, 24 May 2019 16:13:49 +0100
Subject: [PATCH] Include new tooling config repo in git operations

---
 build.xml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/build.xml b/build.xml
index f43dcb8c..101857fe 100644
--- a/build.xml
+++ b/build.xml
@@ -760,6 +760,14 @@
             <arg value="reset"/>
             <arg value="--hard"/>
         </exec>
+        <exec executable="${git.executable}" dir="${shared.ws.dir}/${git.repo.project.tooling.config}" failonerror="true">
+            <arg value="fetch"/>
+            <arg value="origin"/>
+        </exec>
+        <exec executable="${git.executable}" dir="${shared.ws.dir}/${git.repo.project.tooling.config}" failonerror="true">
+            <arg value="reset"/>
+            <arg value="--hard"/>
+        </exec>
         <echo>All branches on all repositories, reset HARD.</echo>
     </target>
 
@@ -795,6 +803,9 @@
         <exec executable="${git.executable}" dir="${shared.ws.dir}/${git.repo.project.tooling}" failonerror="true">
             <arg value="pull"/>
         </exec>
+        <exec executable="${git.executable}" dir="${shared.ws.dir}/${git.repo.project.tooling.config}" failonerror="true">
+            <arg value="pull"/>
+        </exec>
     </target>
 
     <!--