make_tree_file: simplify the tag deleting

diff --git a/make_tree_file b/make_tree_file
index 5db410dfd79e3c513f661a2a206e72b986785369..bd61e5f7026024f7a7bdc9bf3e2402a4081bde1c 100755 (executable)
--- a/make_tree_file
+++ b/make_tree_file
@@ -62,11 +62,13 @@ gpg -u "$kup_gpg_key" -a -b "../$p"
 oldest=$(date --date '3 months ago' '+%Y%m%d')
 printf 'Removing old releases ... <= next-%s\n' "$oldest"
 
-old_tags=$(git tag -l 'next-*[0-9]' |
-       awk -F - -v oldest="$oldest" '$2 ~ /^[0-9]*$/ && $2 <= oldest { printf("next-%s\n", $2); }')
-
-# shellcheck disable=SC2086
-[ "$old_tags" ] && git tag -d $old_tags
+for t in $(git tag -l 'next-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]'); do
+       t=${t#next-}
+       if [ "$t" -gt "$oldest" ]; then
+               break
+       fi
+       git tag -d "next-$t"
+done
 
 printf '%s\n' 'Pushing to korg ...'
 git push --prune korg