Rename 'master' branch to 'main' #5
Description
Per the general GitHub and FLOSS deprecation of the negatively politically laden name, use 'main' as main branch.
{{ message }}
Per the general GitHub and FLOSS deprecation of the negatively politically laden name, use 'main' as main branch.