Learn more about these different git repos.
Other Git URLs
E.g.: https://pagure.io/copr/copr/pull-request/1025
Neither here (different author): https://pagure.io/copr/copr/pull-request/923
I think this is a duplicate of https://pagure.io/pagure/issue/4624
So closing as such. Most sorry for the inconvenience (I'm facing it myself frequently but I haven't tracked it down yet)
Metadata Update from @pingou: - Issue close_status updated to: Duplicate - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.