mirrors/brew
1
0
Fork 0
mirror of https://github.com/Homebrew/brew.git synced 2025-07-14 16:09:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

'Why haven’t you pulled my pull request?' change

Browse Source 
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?
This commit is contained in:
Peter Lewis 2020-06-22 17:08:27 +01:00 committed by GitHub
parent 550ba8b193
commit 68fc0398ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/FAQ.md
View File

@ -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?