Hi all, We have our answer in regards to getting away from "master" as default branch name. GitHub will default to "main" from Oct 1.
https://github.com/github/renaming https://www.zdnet.com/article/github-to-replace-master-with-main-starting-next-month/ Cheers, Stefano
