Proper use of Git tags | Hacker News Reader