From b44bbf10bda825a7eabf0ba318e487b0674f1bb7 Mon Sep 17 00:00:00 2001
From: Eric Berberich <eric.berberich@cgal.org>
Date: Fri, 23 Sep 2011 09:26:57 +0000
Subject: [PATCH] also prune tags

---
 Scripts/cgal_fetchnpush | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Scripts/cgal_fetchnpush b/Scripts/cgal_fetchnpush
index ca5a6f82254..8cdba8fe388 100755
--- a/Scripts/cgal_fetchnpush
+++ b/Scripts/cgal_fetchnpush
@@ -53,7 +53,14 @@ do
   fi
 done 
 
-# TODO to the same for tags
+git for-each-ref refs/tags | cut -d / -f 3- | while read ref
+do
+  svn ls "$SVN/tags/$ref" --depth empty 
+  error=$?
+  if [ $error -ne 0 ]; then
+      git tag -d $ref
+  fi
+done 
 
 echo "#Compact repository"
 git gc --auto --prune=now