diff --git a/docs/maintainers/pull-request-process.md b/docs/maintainers/pull-request-process.md index 0f7e3ff8f8f..f5a7c17d210 100644 --- a/docs/maintainers/pull-request-process.md +++ b/docs/maintainers/pull-request-process.md @@ -21,7 +21,7 @@ A pull request with the label `Review - waiting on author` for **more than two w In these cases: -1. Ping the author of PR to remind him of pending changes. +1. Ping the author of PR to remind them of pending changes. - If the contributor responds, it's no longer an abandoned pull request, proceed as normal. 2. If the contributor does not respond **within a week**: - If the reviewer's comments are very minor, merge the change, fix the code immediately, and create a new PR with the fixes addressing the minor comments. @@ -29,4 +29,4 @@ In these cases: - If the changes in an abandoned pull request are no longer needed (e.g. due to refactoring of the code base or a design change), simply close the pull request. [repository-maintainer]: ../community/governance.md#repository-maintainers -[area-expert]: ../community/governance.md#area-experts#area-experts \ No newline at end of file +[area-expert]: ../community/governance.md#area-experts#area-experts