forked from hush/hush3
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
601 B
26 lines
601 B
#!/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
|
|
|