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
..
ISSUE_TEMPLATE.md	Add issue and pull request templates	2017-09-28 17:01:56 -04:00
PULL_REQUEST_TEMPLATE.md	Fix automatic issue closing	2020-10-07 13:11:12 +03:00