Has GitHub reverted its default branch nomenclature back to “master”? | Dark Hacker News