From f9164cc2b8cdb1834c42f064bde36f2bb53522b3 Mon Sep 17 00:00:00 2001
From: Max Weber <mii7303@gmail.com>
Date: Mon, 20 Jan 2020 04:59:05 -0700
Subject: [PATCH] package: hide detached head advice

---
 build_plugin.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_plugin.sh b/build_plugin.sh
index 9b5864e0f..22d6e3105 100755
--- a/build_plugin.sh
+++ b/build_plugin.sh
@@ -57,7 +57,7 @@ BUILDDIR="$(mktemp -d /tmp/external-plugin.XXXXXXXX)"
 trap "rm -rf ""$BUILDDIR""" EXIT
 pushd "$BUILDDIR"
 
-git clone "$repository" "repo"
+git clone -c 'advice.detachedHead=false' "$repository" "repo"
 pushd "repo"
 git checkout "$commit^{commit}"