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.
This commit is contained in:
AnyOldName3 2025-09-06 00:56:46 +01:00
parent ff60b741a7
commit 0a2c929a76

View File

@ -1,8 +1,5 @@
#!/bin/sh -e
# Silence a git warning
git config --global advice.detachedHead false
rm -fr build
mkdir build
cd build