update_tags: update the list of tags from svn

1 files changed, 9 insertions, 0 deletions

diff --git a/update_tags b/update_tags
new file mode 100755
index 0000000..78675ee
--- /dev/null
+++ b/update_tags
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+git branch -r | grep 'tags/[0-9]' | sed -e 's"tags/\(.*\)"& v\1"' \
+  | while read branch tag; do 
+      if [ ! -r .git/refs/tags/$tag ]; then
+        echo "tagging $tag from $branch"
+        git tag $tag $branch 
+      fi
+    done