All,
As you may have seen, there's a movement to rename the "master" branch to
"main" or "trunk" (at least in the U.S.)[1][2]. Github is doing this, and
I personally think this makes sense.
Are there any objections if we change "master"? If we do change it, is
there a preference for "main", "trunk" or something else?
My personal preference would be for trunk, but I'm open.
Best,
Tim
[1]
https://www.zdnet.com/article/github-to-replace-master-with-alternative-term-to-avoid-slavery-references/
[2] https://www.bbc.com/news/technology-53050955
