chiark
/
gitweb
/
~mdw
/
adns
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
make script's actual tag anyway
[adns]
/
convert
diff --git
a/convert
b/convert
index 91f62d284a991381f73de15d34cb11707f484d75..a0f4e8fa674d21c486c12682a04ed0d4ef75a0f6 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