Improving Git push times through faster server side hooks | Hacker News Reader