From 1522c29a73036e39cc0a36448066f541b0a74770 Mon Sep 17 00:00:00 2001
From: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>
Date: Fri, 25 Jun 2021 00:01:17 +0900
Subject: [PATCH] docs: Testing a PR locally before being merged

---
 docs/contributions.rst | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/docs/contributions.rst b/docs/contributions.rst
index c7c5571d21..76c310e8b7 100644
--- a/docs/contributions.rst
+++ b/docs/contributions.rst
@@ -532,3 +532,17 @@ Rules for reviewing a pull request
 
 * Put your rough schedule as a comment if you don't have time, but you
   want to review.
+
+Testing a PR locally before being merged
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+You may want to test a PR locally before it is merged into the master
+repository. For example, suppose you want to test ``USERNAME``'s PR with branch
+name ``main-fix-foo``;::
+
+  git checkout -b tmp-main-fix-foo master
+  git pull https://github.com/USERNAME/ctags.git main-fix-foo
+
+This creates a branch ``tmp-main-fix-fix-foo`` from a branch ``master`` and
+switches to it, then pulls the branch ``main-fix-foo`` from
+``https://github.com/USERNAME/ctags.git``.