From 8b086bb581fc0db5997950f3d3528683fab3d540 Mon Sep 17 00:00:00 2001
From: Olaoluwa Osuntokun <laolu32@gmail.com>
Date: Tue, 21 Jan 2020 20:46:40 -0800
Subject: [PATCH] build/release: update release script to handle multiple tags
 at head

In this commit, we change the release script slightly to return the
latest tag if there're multiple tags at head. Otherwise the release
script will fail if our final tag is at the same commit as the prior
release candidate tag.
---
 build/release/release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/release/release.sh b/build/release/release.sh
index 5e4fa518..28236f55 100755
--- a/build/release/release.sh
+++ b/build/release/release.sh
@@ -18,7 +18,7 @@ else
     TAG=$1
 
     # If a tag is specified, ensure that that tag is present and checked out.
-    if [[ $TAG != $(git tag -l --points-at HEAD) ]]; then
+    if [[ $TAG != $(git describe) ]]; then
         echo "tag $TAG not checked out"
         exit 1
     fi