chiark
/
gitweb
/
~mdw
/
adns
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4631609
)
make script's actual tag anyway
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:03:30 +0000
(17:03 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:03:30 +0000
(17:03 +0100)
convert
patch
|
blob
|
blame
|
history
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
git tag -f actual
git reset master
git checkout master
+ else
+ git tag -f actual
fi)
git checkout master
fi)
git checkout master