When someone creates a pull request that links to a bpo issue, there would be email sent to the issue subscribers / nosy list, for example:

Changes by Mariatta Wijaya <mariatta.wijaya@gmail.com>:


----------
pull_requests: +70

1. Does 70 here refer to GitHub pull request number 70? (eg Add Travis CI and Codecov badges to README cpython#70)
2. Instead of a plaintext +70, can it be a link to the said pull request?

Thanks :)