Push tags

[Timothée Mazzucotelli]

There's a discrepancy between released versions on PyPI (0.0.1 through 0.0.5) and tags on GitHub (0.0.2 and 0.0.4 only). Could you push the tags onto this repository 🙂 ? It can be confusing when checking what the latest version is, etc.

[Filipe Laíns]

Second that, I am packaging this for Arch Linux and would really appreciate if you pushed them. Thanks!

[Andrew Dunham]

Whoops, sorry folks - had my filters set up very incorrectly and missed this! Just pushed the tag 0.0.5 now.

I'm afraid that I don't actually know what commits were used to publish versions 0.0.1 or 0.0.3 - if this matters, I'm happy to try and reverse-engineer based on the contents of the PyPI packages?

[Timothée Mazzucotelli]

Thanks! Well sure why not! The commit and release dates should help greatly :)

[Marcelo Trylesinski]

@pawamoy is this still needed?

[Timothée Mazzucotelli]

It's a nice thing to have, though I personally don't need it anymore.