Martin Vrachev
|
a4d6329b23
|
Fix automatic issue closing
This pr aims to fix the issue that there are occurrences
when a pr is merged, but the issues that it mentions
that it fixes are not automatically closed by GitHub.
According to their documentation:
https://docs.github.com/en/free-pro-team@latest/github/managing-your-work-on-github/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword
"Fixes" is a keyword that should fix this.
Signed-off-by: Martin Vrachev <mvrachev@vmware.com>
|
2020-10-07 13:11:12 +03:00 |
|