“The tech industry was forced by media and social pressure to rename the default branch in millions of GitHub repositories from "master" to "main."”