On Fri, Apr 3, 2020 at 12:16 PM Florian Weimer <fweimer(a)redhat.com> wrote:
What can I do to fix this?
Good question! We had this problem before and didn't come to a good
resolution. I reopened the infra ticket[1] and I'm going to leave the
page alone for now so they can investigate it. But I will check it and
send the email announcements shortly. Please don't edit the page until
the infra team has a chance to look into it.
[1]
https://pagure.io/fedora-infrastructure/issue/7412
--
Ben Cotton
He / Him / His
Senior Program Manager, Fedora & CentOS Stream
Red Hat
TZ=America/Indiana/Indianapolis