Learn more about these different git repos.
Other Git URLs
Some of the comments are missing for the PR.
Ex: https://pagure.io/releng/pull-request/7016 - @ralph and me commented on that PR but currently I can only see one recent comment made by him and missing two other comments we made before. I am not sure if someone deleted those initial comments or not but its better to take a look.
Also, if its an issue I think its better to check at comments made on issues as well.
I am subscribed to the releng list and looking at the notifications I got about this PR, I'm only seeing one with the comment from @ralph (and the notification about the PR being created and merged).
Are you sure the comments were on that PR?
I'm going to close this one for now.
Let's re-open if you find that there was a problem indeed.
Metadata Update from @pingou: - Issue close_status updated to: Invalid
Login to comment on this ticket.