Background: https://www.zdnet.com/article/github-to-replace-master-with-alternative-term-to-avoid-slavery-references/
