aboutsummaryrefslogtreecommitdiff
path: root/maintainers
diff options
context:
space:
mode:
authorThéophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com>2023-04-05 01:57:17 +0200
committerGitHub <noreply@github.com>2023-04-05 01:57:17 +0200
commit1707e7ea5f15c87470bf30d71ce6157f1992340c (patch)
tree7bd2655ba98ba1eb585de96ac8cfc9fe1a9b3f01 /maintainers
parentd93c1514ebcf71390c8a8070759487e5a40dcc6f (diff)
parentf912ab89cc78a57513f7090ecfc799adb1b464a6 (diff)
Merge pull request #7579 from fricklerhandwerk/review-process
review process: all PRs must be triaged
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/README.md5
1 files changed, 4 insertions, 1 deletions
diff --git a/maintainers/README.md b/maintainers/README.md
index 36d40a0ab..618bfb4e4 100644
--- a/maintainers/README.md
+++ b/maintainers/README.md
@@ -56,7 +56,7 @@ Meeting notes are collected on a [collaborative scratchpad](https://pad.lassul.u
The team uses a [GitHub project board](https://github.com/orgs/NixOS/projects/19/views/1) for tracking its work.
-Issues on the board progress through the following states:
+Items on the board progress through the following states:
- No Status
@@ -80,6 +80,9 @@ Issues on the board progress through the following states:
If there is disagreement on the general idea behind an issue or pull request, it is moved to _To discuss_, otherwise to _In review_.
+ To ensure process quality and reliability, all non-trivial pull requests must be triaged before merging.
+ What constitutes a trivial pull request is up to maintainers' judgement.
+
- To discuss
Pull requests and issues that are deemed important and controversial are discussed by the team during discussion meetings.