[dacohenii]

I'm not really sure what this would look like in practice. Perhaps this would only apply to new repositories, or maybe it will only be the default default. It has never been mandatory for the default branch to be called "master" -- it's just the default value from git and GitHub.

I suppose we will just need to wait and see what happens.