This is the state that this pull request is in.
Is this a remote pull-request?
pingou writes:
Sorry, yes. "remote PR" == "remote pull-request".
So this is likely a duplicate of https://pagure.io/pagure/issue/350
It's fixed by: https://pagure.io/pagure/pull-request/368
I'll leave it open so that people see it as you're not the first one to open a ticket about it :)
Arf. sorry I missed the obvious in the title :)
Ok so now that this is fixed, in git, released and deployed, let's close the ticket :)