On Mon, Sep 01, 2025 at 11:46:23AM +0200, Miroslav Suchý via infrastructure wrote: > Dne 01. 09. 25 v 11:40 dop. Michal Schorm napsal(a): > > Is it expected that there are two distinct: 'infra' and 'Infra' groups? > > (differ in first capitalized letter) > > > > If the distinction is expected - shouldn't it be named to better > > describe how it differs from the other? > > It is obvious typo (because "Infra" is used only in one resource). My script > just reports all values found in every FedoraGroup tag in any resource. > > The "Infra" value is used in a volume in af-south-1 region. Feel free to > locate it and correct it.
I went and looked and can't seem to find it. Perhaps someone already fixed it? kevin -- _______________________________________________ infrastructure mailing list -- infrastructure@lists.fedoraproject.org To unsubscribe send an email to infrastructure-le...@lists.fedoraproject.org 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/infrastructure@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
