From 59c498c51a99e0432a4bfba359ac37e0430e044d Mon Sep 17 00:00:00 2001
From: Jan-Willem Goossens <jhmgoossens@hotmail.com>
Date: Mon, 29 Jan 2024 21:06:49 +0100
Subject: [PATCH] update get-dependencies to pull updates

---
 get-dependencies.bat | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/get-dependencies.bat b/get-dependencies.bat
index a0c7b4f..86313f0 100644
--- a/get-dependencies.bat
+++ b/get-dependencies.bat
@@ -20,6 +20,12 @@ for /f "eol=# tokens=1,2,3" %%i in (%depfile%) do (
     git -C ..\%%i fetch --all
     git -C ..\%%i checkout %%k
     if errorlevel 1 pause
+    git -C ..\%%i status | find /i "HEAD detached"
+    if errorlevel 1 (
+      echo INFO: Not at detached head, so try to pull changes.
+      git -C ..\%%i pull
+      if errorlevel 1 pause
+    )
   )
   echo INFO: Finished with ..\%%i
 )