make_tree_file: delete teh remote old refs all at once

diff --git a/make_tree_file b/make_tree_file
index cd4f754e9bd4e18007abfc45edf940e6a28e8559..447f7e793e78e557cec1a64a7d92a8a0927de4ff 100755 (executable)
--- a/make_tree_file
+++ b/make_tree_file
@@ -60,12 +60,10 @@ gpg2 -u 41D5C07A -a -b "../$p"
 oldest=$(date --date "3 months ago" '+%Y%m%d')
 echo "Removing old releases ... <= next-$oldest"
 
-for i in $(git ls-remote --tags korg next-\* |
-               sed -n 's,^.*[ \t]refs/tags/next-\([0-9]*\)$,\1,p' |
-               sort -n); do
-       [ $i -gt $oldest ] && break
-       git push korg --delete next-$i
-done
+old_tags=$(git ls-remote --tags korg next-\* |
+       awk -F - '$2 ~ /^[0-9]*$/ && $2 <= '$oldest' { printf("next-%s\n", $2); }')
+
+[ "$old_tags" ] && git push korg --delete $old_tags
 
 echo Pushing to korg ...
 git push korg