aboutsummaryrefslogtreecommitdiff
path: root/.github/PULL_REQUEST_TEMPLATE.md
diff options
context:
space:
mode:
authorMiquel Sabaté Solà <mssola@mssola.com>2025-09-27 23:05:48 +0200
committerMiquel Sabaté Solà <mssola@mssola.com>2025-09-28 21:24:49 +0200
commit5906d2a8e093a16ae3818a11a18db1024b419ae4 (patch)
tree5aa13646437f3aadbde09266b196985e7eb935d5 /.github/PULL_REQUEST_TEMPLATE.md
parent43c1802f880471c5b69f8c622314827790aad0b8 (diff)
downloadpudc-main.tar.gz
pudc-main.zip
github: Add CI/issues/prs definitionsHEADmain
Signed-off-by: Miquel Sabaté Solà <mssola@mssola.com>
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md13
1 files changed, 13 insertions, 0 deletions
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!