* Peter Robinson:
On Tue, Apr 25, 2023 at 8:56 AM Florian Weimer
<fweimer(a)redhat.com> 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