Can someone with access to https://github.com/linkeddata/node-webid/settings/branches change the default branch name from 'master' to 'main'? I'm doing this for all repos in the Solid OS stack, but don't have access to this one.