GitHub renaming default branch to “main” | Hacker News Reader