diff --git a/zcutil/cleanup-tags.sh b/zcutil/cleanup-tags.sh deleted file mode 100755 index 0d01d2d63..000000000 --- a/zcutil/cleanup-tags.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/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