Changing default branch name in Git | Hacker News Reader