Next up: an executive order to revert the default branch name of all Git repos back to master.