Matthias,

I was able to confirm our org-wide default is "main." I believe the repos with "master" as the default either pre-dated the move to shipwright-io, or pre-date GitHub's default branch name switch in October 2020.

Best,
Adam