Is main now set as the default name for all new repos on pagure.io
Not at the moment. It is in our backlog/todo with a question mark. Should
we do
it?
In my opinion yes, if all the current repos use main then I would say that
is now a
standard and setting it as default avoids confusion between repos.
As with most things though I think whatever the group consensus is should
win out.
Mark