From 96c0132277e7c7188dd7d4de20cef68cd43ebf07 Mon Sep 17 00:00:00 2001
From: Jan de Cuveland <cuveland@compeng.uni-frankfurt.de>
Date: Tue, 26 Apr 2022 14:10:54 +0200
Subject: [PATCH] Avoid 'detached HEAD' warnings for external projects

---
 cmake/modules/DownloadProject.CMakeLists.cmake.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmake/modules/DownloadProject.CMakeLists.cmake.in b/cmake/modules/DownloadProject.CMakeLists.cmake.in
index 89be4fdd4f..f40aaf67fd 100644
--- a/cmake/modules/DownloadProject.CMakeLists.cmake.in
+++ b/cmake/modules/DownloadProject.CMakeLists.cmake.in
@@ -14,4 +14,5 @@ ExternalProject_Add(${DL_ARGS_PROJ}-download
                     BUILD_COMMAND       ""
                     INSTALL_COMMAND     ""
                     TEST_COMMAND        ""
+                    GIT_CONFIG          advice.detachedHead=false
 )
-- 
GitLab