I'm aware of the `fedpkg retire` command, but that seemingly retires the package entirely, and even auto pushes the changes to my package repo. (I will now need to revert this or something -- I'd assumed there would at least be a prompt to confirm before doing a git push...) The package I want to *halfway* retire is gnome-shell-extension-no-topleft-hot-corner, which allows you to disable the "hot corner" in GNOME Shell. As of GNOME 3.34, you can now do this from GNOME Tweaks, so the No Topleft Hot Corner extension is obsolete... Having it installed does no harm, but it's redundant. This means the extension was actually obsoleted in Fedora 31, though the Packaging Guidelines say not to deprecate packages in a stable branched release of the distro. So I would have liked to retire the package only for Fedora 32+ -- the extension may still be useful in EPEL 7 and 8. _______________________________________________ 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
