@mattia pointed out that this is needed, and filed the ticket for F37/F39: https://pagure.io/releng/issue/11736 - but we should make this a pgm responsibility.
Signed-off-by: Adam Williamson awilliam@redhat.com
Pull-Request has been merged by bcotton
Good call. This was in my head to do, but wasn't needed in the time between having the idea and it not being my problem anymore, so it slipped through the docs cracks.
@mattia pointed out that this is needed, and filed the ticket
for F37/F39: https://pagure.io/releng/issue/11736 - but we should
make this a pgm responsibility.
Signed-off-by: Adam Williamson awilliam@redhat.com