Is the official Git default master or main? | Hacker News Reader