diff options
author | Rich Trott <rtrott@gmail.com> | 2017-12-25 14:27:33 -0800 |
---|---|---|
committer | Rich Trott <rtrott@gmail.com> | 2018-01-02 21:33:32 -0800 |
commit | f51067a85d64b77f2eae2e099092209156d6e602 (patch) | |
tree | cb53178ae5b1372ed37f5249d777785ec10cf5e1 /doc/onboarding.md | |
parent | f05fb0104a01ee852f673856ab5aa0ca69201523 (diff) | |
download | node-new-f51067a85d64b77f2eae2e099092209156d6e602.tar.gz |
doc: remove non-style information from style guide
While tools should be used insofar as possible, that information
does not belong in the style guide. Move to onboarding doc.
PR-URL: https://github.com/nodejs/node/pull/17866
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Khaidi Chu <i@2333.moe>
Reviewed-By: Daniel Bevenius <daniel.bevenius@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Anna Henningsen <anna@addaleax.net>
Reviewed-By: Tobias Nießen <tniessen@tnie.de>
Reviewed-By: Gibson Fahnestock <gibfahn@gmail.com>
Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
Diffstat (limited to 'doc/onboarding.md')
-rw-r--r-- | doc/onboarding.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/onboarding.md b/doc/onboarding.md index 1491b5ee9e..e67f6638d3 100644 --- a/doc/onboarding.md +++ b/doc/onboarding.md @@ -121,6 +121,9 @@ onboarding session. avoid stalling the pull request. * Note that they are nits when you comment: `Nit: change foo() to bar().` * If they are stalling the pull request, fix them yourself on merge. +* Insofar as possible, issues should be identified by tools rather than human + reviewers. If you are leaving comments about issues that could be identified + by tools but are not, consider implementing the necessary tooling. * Minimum wait for comments time * There is a minimum waiting time which we try to respect for non-trivial changes, so that people who may have important input in such a distributed |