@juhp
Copy link

juhp commented Jul 13, 2022

These days it is considered good form and practice to call the principal branch of a project main.

This is rather easy to do particularly in github: almost a "1-click" operation in the project Settings.
Of course it may also need a few small s/master/main/g changes to a few files too, but should be straightforward enough.

It is not urgent, but please do consider if you could kindly make this change, thanks!