GitHub is working on renaming default branch from “master” | Hacker News Reader