0
Log, Details: add a hyperlink underneath the PR number
When reading the log of some public repository like Ansible in this example, all pull requests appear without specific link, just the number & title, so we have to make a search to discover some details about each PR.
My proposal is to- add a hyperlink underneath the PR number to the corresponding PR on the repository web site, even if the PR is closed (see screenshot, whoops, we can't add some).
The call is easy: repository_URL/pull/PR_number, at least for GitHub.
Customer support service by UserEcho