diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-03-28 11:51:47 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-05 01:27:15 +0200 |
| commit | f912ab89cc78a57513f7090ecfc799adb1b464a6 (patch) | |
| tree | 36e350f146eb73a53c75130d5327b29cf0d16054 /maintainers | |
| parent | 6c651599b0fa6c049e5044608fcde1daefb17142 (diff) | |
only triage non-trivial pull requests
the team perceives triaging literally everything as too much overhead,
and there is a desire to allow for more parallel action.
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/maintainers/README.md b/maintainers/README.md index 95f58acaa..298c1d5da 100644 --- a/maintainers/README.md +++ b/maintainers/README.md @@ -79,7 +79,8 @@ Items 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 pull requests must be triaged before merging. + 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 |