#!/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