Our team would prefer to change our default branch name away from "master", since "master" is a generally problematic term due to its association with slavery in some contexts. (We are aware that "master" as used in git does not necessarily have that connotation, but we do not want to nitpick about etymology here.)

We are considering one of these names for the default branch name: trunk, development, or main.

TODO:

• check our scripts/automation for whether master is hardcoded anywhere
• run the branch migration script (below)
• move branch protections from master to new branch
• modify docs to reference the new branch instead of master
• delete master branch
• instruct devs to update their local clones:

  git fetch origin --prune
  git checkout trunk
  git remote set-head origin trunk
  git branch -D master
  

Ref. desktop/desktop#6478