Include new tooling config repo in git operations

InCommon · May 24, 2019 · 9767efb · 9767efb
1 parent 66273e1
commit 9767efb
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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>
 
     <!--