Proper use of Git tags

https://blog.aloni.org/posts/proper-use-of-git-tags/