diff options
| author | Théo Zimmermann | 2019-02-20 16:36:56 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 15:44:29 +0100 |
| commit | b46b8cbe886ea1e06377843134e9c588394acc5f (patch) | |
| tree | ff59757e0ebf35fc0451777e607c5592aab8cb12 /dev | |
| parent | 27838d59f12fde650191c61f3d2168daa1ac2bd3 (diff) | |
Fix #9110: mention check-owners-pr.sh
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/MERGING.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/doc/MERGING.md b/dev/doc/MERGING.md index 5705857d76..3f1b470878 100644 --- a/dev/doc/MERGING.md +++ b/dev/doc/MERGING.md @@ -37,6 +37,9 @@ When maintainers receive a review request, they are expected to: REVIEWERS(*) have approved the PR, the assignee is expected to follow the merging process described below. +To know what files you are a code owner of in a large PR, you can run +`dev/tools/check-owners-pr.sh xxxx`. Results are unfortunately imperfect. + When a PR received lots of comments or if the PR has not been opened for long and the assignee thinks that some other developers might want to comment, it is recommended that they announce their intention to merge and wait a full |