From 0a2c929a7607cd53871ce21050b61941926c517f Mon Sep 17 00:00:00 2001 From: AnyOldName3 Date: Sat, 6 Sep 2025 00:56:46 +0100 Subject: [PATCH] Don't meddle with people's git settings I can't see any reason for this to have been necessary in CI in the first place as we do CI runs for commits on a branch, not for a detached head. Despite that, I've left it in the Linux and Android scripts as we don't suggest anyone runs those on their own machines. --- CI/before_script.macos.sh | 3 --- 1 file changed, 3 deletions(-) diff --git a/CI/before_script.macos.sh b/CI/before_script.macos.sh index f0e4c63ba0..8d83949f09 100755 --- a/CI/before_script.macos.sh +++ b/CI/before_script.macos.sh @@ -1,8 +1,5 @@ #!/bin/sh -e -# Silence a git warning -git config --global advice.detachedHead false - rm -fr build mkdir build cd build