diff options
author | Stanisław Pitucha <git@viraptor.info> | 2022-10-23 15:23:02 +1100 |
---|---|---|
committer | Stanisław Pitucha <git@viraptor.info> | 2022-10-23 15:23:02 +1100 |
commit | 713369c44b1bcf17b5d2f209bb229656ce2613bf (patch) | |
tree | 4fe2fbd02e0802f2c76ecf2fe5fabdf6a678d6b5 /doc | |
parent | c1fbfda9b28d9a8f9314908b592997d91cdc8da2 (diff) |
doc/contributing: Explicitly allow trivial changes by non-authors
Discussed and proposed at https://discourse.nixos.org/t/rules-around-adding-to-someones-pr/22671/3
Diffstat (limited to 'doc')
-rw-r--r-- | doc/contributing/reviewing-contributions.chapter.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/contributing/reviewing-contributions.chapter.md b/doc/contributing/reviewing-contributions.chapter.md index 4452695a6f388..0e6a0dd5b5305 100644 --- a/doc/contributing/reviewing-contributions.chapter.md +++ b/doc/contributing/reviewing-contributions.chapter.md @@ -302,6 +302,12 @@ Container system, boot system and library changes are some examples of the pull It is possible for community members that have enough knowledge and experience on a special topic to contribute by merging pull requests. +In case the PR is stuck waiting for the original author to apply a trivial +change (a typo, capitalisation change, etc.) and the author allowed the members +to modify the PR, consider applying it yourself. (or commit the existing review +suggestion) You should pay extra attention to make sure the addition doesn't go +against the idea of the original PR and would not be opposed by the author. + <!-- The following paragraphs about how to deal with unactive contributors is just a proposition and should be modified to what the community agrees to be the right policy. |