From 8c923dd8ca730a1e271bab9f32bf61623ad3c819 Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Wed, 7 Dec 2022 18:56:31 +1100 Subject: [PATCH] make_tree_file: simplify the tag deleting --- make_tree_file | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/make_tree_file b/make_tree_file index 5db410d..bd61e5f 100755 --- 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 -- 2.39.5