From 00f0c2dee1246b837e5087f93006c1498c765ba3 Mon Sep 17 00:00:00 2001 From: Mrugesh Mohapatra <1884376+raisedadead@users.noreply.github.com> Date: Sun, 9 Oct 2022 19:12:05 +0530 Subject: [PATCH] docs: clearer tone for non-native speakers (#47946) * docs: clearer tone for non-native speakers * chore: fix formatting --- docs/how-to-open-a-pull-request.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/how-to-open-a-pull-request.md b/docs/how-to-open-a-pull-request.md index d857f8b1563..6791e2ccb49 100644 --- a/docs/how-to-open-a-pull-request.md +++ b/docs/how-to-open-a-pull-request.md @@ -9,7 +9,10 @@ Some examples of this are: 1. Do not edit files directly through GitHub – while you can, it's not a good idea. 2. Make sure you follow the PR checklist and not just tick things off; otherwise, we won't take you seriously. 3. Use the correct way to link issues in the description of the PR by updating the `XXXXXX`. Do not just add issue numbers everywhere and anywhere you feel like. -4. Keep mentions and review requests to a minimum. We understand you are excited about contributing, and our maintainers will get back to you as soon as they get a chance. +4. Do not "@mention" or request someone for reviews too many times. + + We understand you are excited about contributing. As much as a maintainer will love to get back to you, they are busy people looking after hundreds of requests just like yours. Be patient, someone will get to you sooner or later. + 5. Do not work directly off your `main` branch - create a new branch for the changes you are working on. > [!NOTE]