From d29ff2a1b0c4b0cd9388a11a30e888a1474e55fa Mon Sep 17 00:00:00 2001 From: Michael Schurter Date: Thu, 10 Oct 2019 11:49:59 -0700 Subject: [PATCH] release: tag on HEAD not master --- scripts/dist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dist.sh b/scripts/dist.sh index 686bcf04e..cf09158cc 100755 --- a/scripts/dist.sh +++ b/scripts/dist.sh @@ -52,7 +52,7 @@ cd "${DIR}" if [ -z "${NOTAG}" ]; then echo "==> Tagging..." git commit --allow-empty -a --gpg-sign=${gpg_signing_key} -m "Release v$VERSION" - git tag -a -m "Version $VERSION" -s -u ${gpg_signing_key} "v${VERSION}" master + git tag -a -m "Version $VERSION" -s -u ${gpg_signing_key} "v${VERSION}" HEAD fi # Zip all the files