From 971be206c8c438a3cf495c0d14294cb09ec98a6a Mon Sep 17 00:00:00 2001
From: championshuttler <akanshasinghal999@gmail.com>
Date: Wed, 31 Oct 2018 10:46:01 +0530
Subject: [PATCH] add info to docs about pulling PR branches

---
 README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/README.md b/README.md
index 6f9436bc3e4261..df9ad79b918893 100644
--- a/README.md
+++ b/README.md
@@ -329,6 +329,16 @@ In the vast majority of cases the **only** upstream branch that you
 should need to care about is `master`. If you see other branches in
 the repository, you can generally safely ignore them.
 
+Pulling Pull request branches
+=============================
+
+You can pull the PR branches locally by this method:
+
+```
+[remote "origin"]
+fetch = +refs/pull//head:refs/remotes/origin/pr/
+```
+
 Contributing
 ============