Link to GitHub PR from bpo emails · Issue #35 · python/core-workflow (original) (raw)
Description
opened
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
- Does
70
here refer to GitHub pull request number 70? (eg Add Travis CI and Codecov badges to README cpython#70) - Instead of a plaintext
+70
, can it be a link to the said pull request?
Thanks :)
Metadata
Metadata
Assignees
No one assigned
Labels
No labels
No labels
Projects
No projects
Milestone
No milestone
Relationships
None yet
Development
No branches or pull requests