[amanzi]

Pretty easy to opt-in. I also used Scott Hanselman's guide to change existing repos from master to main.

https://www.hanselman.com/blog/EasilyRenameYourGitDefaultBra...