From 24f0aeaf7f5495228fd586b8e6ce22d8b9a042e0 Mon Sep 17 00:00:00 2001
From: Nathan Wilcox <nejucomo@gmail.com>
Date: Mon, 30 May 2016 16:54:23 -0700
Subject: [PATCH] A script to remove "unofficial" tags from a remote, such as
 github.

Officialness is determined by a regular expression. ;-)

This is handy because we often want upstream Bitcoin tags for local
diffs, but sometimes we accidentally upload them to github which then
claims they are our releases, which is confusing and misleading.
---
 zcutil/cleanup-tags.sh | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 zcutil/cleanup-tags.sh

diff --git a/zcutil/cleanup-tags.sh b/zcutil/cleanup-tags.sh
new file mode 100755
index 000000000..0d01d2d63
--- /dev/null
+++ b/zcutil/cleanup-tags.sh
@@ -0,0 +1,26 @@
+#!/bin/bash
+#
+# Warning: This deletes tags on "origin", so point that at the right target!
+#
+# Note: It doesn't delete any local tags.
+
+set -exu -o pipefail
+
+ZCASH_TAG_RGX='^v[0-9]+.[0-9]+.[0-9]+.z[0-9]+'
+MAXJOBS=7
+
+i=0
+
+for nonzctag in $(git ls-remote origin \
+                         | grep refs/tags/ \
+                         | grep -v '\^{}$' \
+                         | sed 's,^.*refs/tags/,,'\
+                         | grep -Ev "$ZCASH_TAG_RGX"
+                 )
+do
+    git push origin ":refs/tags/${nonzctag}" &
+    i="$(expr "$i" + 1)"
+    [ "$i" -ge "$MAXJOBS" ] && wait -n
+done
+
+wait