How to easily rename Git master branch to main | Hacker News Reader