Rhel7 status in fedora infra - early 2024 edition

Project Discussion
,
3

Please do bring it up. If nothing is done by rhel7 EOL time, we will
have to just take down the badges service, which I really would not want
to do. ;(