Learn more about these different git repos.
Other Git URLs
Currently the comments only mention the nickname of a user. It would be great if they also included the actual name of the users.
Thanks for your report, though I'm going to consider this a duplicate of https://pagure.io/pagure/issue/2573 and closing in favor of that one :)
Thanks again!
Metadata Update from @pingou: - Issue close_status updated to: Duplicate
Log in to comment on this ticket.