From 5906d2a8e093a16ae3818a11a18db1024b419ae4 Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Sat, 27 Sep 2025 23:05:48 +0200 Subject: github: Add CI/issues/prs definitions MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Miquel Sabaté Solà --- .github/PULL_REQUEST_TEMPLATE.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/PULL_REQUEST_TEMPLATE.md (limited to '.github/PULL_REQUEST_TEMPLATE.md') diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 0000000..c94849c --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,13 @@ +Provide a general description of the changes in your pull request. If this pull +request fixes a known issue, please tag it as well (e.g.: `Fixes #1`). In any +case: + +- [ ] Write a [good commit message](https://chris.beams.io/posts/git-commit/). + Extra points if it's in the style of the [Linux + kernel](https://docs.kernel.org/process/submitting-patches.html). +- [ ] Make sure that `make` continues to work. +- [ ] Make sure that `make lint` does not report any issues. +- [ ] The pull request has *only* one subject and a clear title. You are not + submitting a pull request with tons of different unrelated commits. + +Thanks! -- cgit v1.2.3