Closed tdutrion closed 5 years ago
The current PR template includes the following line:
| Related issue | # <!-- #-prefixed issue number(s), if any -->
It would be interested to recommend using the proper keyword so that we leverage github automation: https://help.github.com/en/articles/closing-issues-using-keywords
When creating a PR, I'm presented with a # and asked to fill the issue number. Once the PR done, when I merge the PR, the issue is related but not automatically closed.
#
Description
The current PR template includes the following line:
It would be interested to recommend using the proper keyword so that we leverage github automation: https://help.github.com/en/articles/closing-issues-using-keywords
Scenarios
When creating a PR, I'm presented with a
#
and asked to fill the issue number. Once the PR done, when I merge the PR, the issue is related but not automatically closed.