chiark / gitweb /
make script's actual tag anyway
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:03:30 +0000 (17:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:03:30 +0000 (17:03 +0100)
convert

diff --git a/convert b/convert
index 91f62d2..a0f4e8f 100755 (executable)
--- a/convert
+++ b/convert
@@ -81,6 +81,8 @@ END
        git tag -f actual
        git reset master
        git checkout master
+ else
+       git tag -f actual
  fi)
 
 git checkout master