retag.sh script

scripts/retag.sh

@@ -0,0 +1,15 @@
+#!/bin/bash
+
+######
+# This script is useful only for committers to the upstream github repo.
+######
+
+for tag in `git tag`; do
+  git tag -d $tag
+done
+
+for sha in `git log --oneline | grep step- | cut -d ' ' -f 1`; do
+  tag=`git log $sha...$sha~1 --oneline | cut -d ' ' -f 2`
+  echo Creating tag $tag for $sha
+  git tag $tag $sha
+done