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?