How not to ban a prolific Git developer | Hacker News Reader