From 335f559282433ef2d905adfae408f022a4929006 Mon Sep 17 00:00:00 2001
From: Stephen Rothwell <sfr@canb.auug.org.au>
Date: Fri, 15 Apr 2016 10:10:02 +1000
Subject: [PATCH] make_tree_file: manage the kept tags locally

so push to kernel.org with --prune to manage the remote ones
---
 make_tree_file | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/make_tree_file b/make_tree_file
index a9cc15b..a1c433f 100755
--- a/make_tree_file
+++ b/make_tree_file
@@ -67,13 +67,13 @@ gpg -u $gpg_key -a -b "../$p"
 oldest=$(date --date "3 months ago" '+%Y%m%d')
 echo "Removing old releases ... <= next-$oldest"
 
-old_tags=$(git ls-remote --tags korg 'next-*[0-9]' |
+old_tags=$(git tag -l 'next-*[0-9]' |
 	awk -F - '$2 ~ /^[0-9]*$/ && $2 <= '$oldest' { printf("next-%s\n", $2); }')
 
-[ "$old_tags" ] && git push korg --delete $old_tags
+[ "$old_tags" ] && git tag -d $old_tags
 
 echo Pushing to korg ...
-git push korg
+git push --prune korg
 
 echo Pushing to korg-history ...
 git push korg-history
-- 
2.39.2