Learn more about these different git repos.
Other Git URLs
Currently the page title is like Pull Request #.... It would be useful to use PR#16: <PR title>, as that way it would be possible for me to find the correct PR when I have more tabs open.
This is about the <title></title>.
Fixed by https://pagure.io/pagure/pull-request/352 (and merged)
Login to comment on this ticket.