I agree this can be fun and encouraging... As long as it's healthy competition between peers (or better yet, competition against oneself), and NEVER to be used as a metric by managers for salary/bonus/firing purposes... you get my idea. In the wrong hands vanity metrics are a really dangerous weapon. I know a few cases.