From 0cd2309d64c6110eb8db954cd047a96aacad2b9b Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Tue, 8 Dec 2020 07:18:19 -0500 Subject: [PATCH] Nobody uses this bath salt shit --- zcutil/cleanup-tags.sh | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100755 zcutil/cleanup-tags.sh 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