On Thu, Oct 7, 2021 at 6:33 AM Allan Day <aday@xxxxxxxxxx> wrote: > > Is there a ticket anywhere, tracking this issue? I think I'm probably > going to have to change the default branch name to master, but I'd > like to switch it back to main as soon as it's possible to do so. > Looks like it's been fixed upstream: https://gitlab.com/antora/antora/-/issues/669 So I guess now it's up to us (asamalik?) to update our tooling. -- Ben Cotton He / Him / His Fedora Program Manager Red Hat TZ=America/Indiana/Indianapolis _______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/docs@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
