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