From b46b8cbe886ea1e06377843134e9c588394acc5f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 20 Feb 2019 16:36:56 +0100
Subject: Fix #9110: mention check-owners-pr.sh

---
 dev/doc/MERGING.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

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
-- 
cgit v1.2.3