Browse Source
Officialness is determined by a regular expression. ;-) This is handy because we often want upstream Bitcoin tags for local diffs, but sometimes we accidentally upload them to github which then claims they are our releases, which is confusing and misleading.pull/41/head
Nathan Wilcox
8 years ago
1 changed files with 26 additions and 0 deletions
@ -0,0 +1,26 @@ |
|||
#!/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