diff options
Diffstat (limited to 'doc/onboarding.md')
| -rw-r--r-- | doc/onboarding.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/onboarding.md b/doc/onboarding.md index 296f9db7d0..e2a05f2ccd 100644 --- a/doc/onboarding.md +++ b/doc/onboarding.md @@ -200,7 +200,10 @@ onboarding session. * Collaborators are in alphabetical order by GitHub username. * Optionally, include your personal pronouns. * Label your pull request with the `doc` subsystem label. -* Run CI on your PR. +* Run CI on the PR. Because the PR does not affect any code, use the + `node-test-pull-request-lite` CI task. Alternatively, use the usual + `node-test-pull-request` CI task and cancel it after the linter and one other + subtask have passed. * After one or two approvals, land the PR (PRs of this type do not need to wait for 48/72 hours to land). * Be sure to add the `PR-URL: <full-pr-url>` and appropriate `Reviewed-By:` |