From 68fc0398ca56b2822074e3cd6d38c40f620da555 Mon Sep 17 00:00:00 2001
From: Peter Lewis <820394+peterlewis@users.noreply.github.com>
Date: Mon, 22 Jun 2020 17:08:27 +0100
Subject: [PATCH] =?UTF-8?q?'Why=20haven=E2=80=99t=20you=20pulled=20my=20pu?=
 =?UTF-8?q?ll=20request=3F'=20change?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I propose changing 'Why haven’t you pulled my pull request?' to 'Why haven’t you merged my pull request?' as, unless I'm missing a trick, this wording would fit more appropriately with what the question trying to ask?
---
 docs/FAQ.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/FAQ.md b/docs/FAQ.md
index 2e728c43ac7de..d776a3d73403a 100644
--- a/docs/FAQ.md
+++ b/docs/FAQ.md
@@ -152,7 +152,7 @@ creating a separate user account especially for use of Homebrew.
 
 If it’s not in `man brew`, it’s probably an external command. These are documented [here](External-Commands.md).
 
-## Why haven’t you pulled my pull request?
+## Why haven’t you merged my pull request?
 If it’s been a while, bump it with a “bump” comment. Sometimes we miss requests and there are plenty of them. Maybe we were thinking on something. It will encourage consideration. In the meantime if you could rebase the pull request so that it can be cherry-picked more easily we will love you for a long time.
 
 ## Can I edit formulae myself?