diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-20 14:06:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-20 14:06:46 +0100 |
commit | dfbdde6d07ebb9a4d637221881d93a485f39714c (patch) | |
tree | 544e99dbecf80eb9537c901c0e01f731a7c13f4f | |
parent | 7f04a542142df7d20e46ca36abe408a965dcffe5 (diff) |
Update .github/PULL_REQUEST_TEMPLATE.md
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index d903b8aaa..a268d7caf 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -18,8 +18,10 @@ Maintainers: tick if completed or explain if not relevant - [ ] agreed on idea - [ ] agreed on implementation strategy - - [ ] unit tests - - [ ] functional tests (`tests/**.sh`) + - [ ] tests, as appropriate + - functional tests - `tests/**.sh` + - unit tests - `src/*/tests` + - integration tests - [ ] documentation in the manual - [ ] code and comments are self-explanatory - [ ] commit message explains why the change was made |