On Fri, 2012-02-24 at 11:23 +0100, Mark Wielaard wrote:
> > Then commit and git tag -s elfutils-0.153 and push.
One last question. I don't see the tag appear remotely.
[...]
How to push this tag?
As fche pointed out on irc you have to push tags separately:
$ git push --tags
done!