Push tags to github

[Ewoud Kohl van Wijngaarden]

It would be useful if releases were tagged and pushed as tags. There's a good chance you locally already do so, but haven't pushed them since git doesn't do this by default. You can use git push --tags or if you use annotated tags use followTags to automatically include them on git push.

[Philipp Hagemeister]

Thank you for the report. Tags are now available. I'm still looking into automating the release process, and if possible signing the commits/tags.

[Ewoud Kohl van Wijngaarden]

Thanks!