projects
/
gnus
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
95ef741
)
Push the tag explicitly to avoid pushing private tags.
author
Lars Ingebrigtsen
<larsi@gnus.org>
Tue, 22 Feb 2011 00:02:23 +0000
(16:02 -0800)
committer
Lars Ingebrigtsen
<larsi@gnus.org>
Tue, 22 Feb 2011 00:02:23 +0000
(16:02 -0800)
makepub
patch
|
blob
|
history
diff --git
a/makepub
b/makepub
index
a068bfc
..
0f25629
100755
(executable)
--- a/
makepub
+++ b/
makepub
@@
-40,7
+40,7
@@
tversion=`echo $next_version | sed 's/[.]/-/g'`
git tag -a "$initial$tversion" -m "$name v$next_version is released"
git push
git tag -a "$initial$tversion" -m "$name v$next_version is released"
git push
-git push
--tags
+git push
tag "$initial$tversion"
# Increase the number, yet again, to start the next development cycle.
# Increase the number, yet again, to start the next development cycle.