[mathieuh]

GitHub are changing master to main, lots of big and small open source projects have already done so/are planning to do so https://www.theregister.com/2020/06/15/github_replaces_maste...