Push the git tags

[XhmikosR]

Please don't forget to create and push git tags for each release.

There is no way to see the changes since there's no changelog and comparing the tags can help a lot.

[Geir Gåsodden]

I've started to use release for my repos so hopefully that will make everything better.