Guidance for changing the default branch name for GitHub repositories | Hacker News Reader