1 changed files with 0 additions and 26 deletions
@ -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 |
|
Loading…
Reference in new issue