when you push/pull a branch, the name doesn't have to match
the main branch doesn't have any special protections in git itself, though tools like GitHub can protect it
Learned from Julia Evan at https://social.jvns.ca/@b0rk/111982879462410254