Learn more about these different git repos.
Other Git URLs
If I visit my requests page at https://pagure.io/user/tibbs/requests, the page says "Pull Requests opened by tibbs" but it shows me pull requests that I didn't open. I'm guessing it's showing me both things that I opened along with PRs opened against my repos.
Perhaps splitting those into two groups, as the issues page does, would make sense. Or, barring that, change the text to say which pull requests it's actually showing me.
Good call :) Let me take a look at it.
Progress on this can be found at https://pagure.io/pagure/pull-request/1807
Fixed by @cep in #1807
@pingou changed the status to Closed
Closed
Login to comment on this ticket.