* Peter Robinson: > On Tue, Apr 25, 2023 at 8:56 AM Florian Weimer <fweimer@xxxxxxxxxx> wrote: >> >> The xorg-x11-drv-fbturbo is supposed to have been retired (see >> <https://bugzilla.redhat.com/show_bug.cgi?id=2187060#c4>). How can I >> check if this is actually the case? > > It's not, if you look at the tags at the bottom there should be a red > check mark against the f39 tag: > https://koji.fedoraproject.org/koji/packageinfo?packageID=20127 > > I filed this issue at the time it has issues: > https://pagure.io/releng/issue/11388 > > It's allegedly a problem here: > https://pagure.io/rpkg/issue/685 > > II did actually note that in your bug report: > https://bugzilla.redhat.com/show_bug.cgi?id=2187060#c6 Sorry, it's still not clear to me if the dead.package stuff is an optional step of retirement to reflect it in dist-git to make it more noticeable (if all you do is a fedpkg clone), or the core criteria for retirement. Or put differently, if I want to fix this, can I just push a dead.package file myself, as a provenpackager? Thanks, Florian _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-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/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue