The current practice is to use `main` for the main branch, instead of `master`... so we should swap, to keep up-to-date: https://www.linkedin.com/pulse/technology-notes-how-tos-infrastructure-git-master-main-eldritch/