GitHub: Why developer satisfaction is your best productivity metric | Hacker News Reader