GitHub to replace the term “master” with “main” | Dark Hacker News