Commit graph

4 commits

Author SHA1 Message Date
Jussi Kukkonen
f82e0bb88d docs: Incorporate review suggestions
Signed-off-by: Jussi Kukkonen <jkukkonen@google.com>
2024-02-29 15:54:18 +02:00
Jussi Kukkonen
143a69ba63 CI: Improve pull request template
Trying to make it clearer that
* testing locally is an option
* DCO is required

Signed-off-by: Jussi Kukkonen <jkukkonen@google.com>
2024-02-27 16:50:52 +02:00
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
Vladimir Diaz
69a66e9cba
Add issue and pull request templates 2017-09-28 17:01:56 -04:00