GitHub push protection is free for all public repositories | Hacker News Reader