On Thu, Oct 7, 2021 at 6:33 AM Allan Day <aday(a)redhat.com> 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