From 49341f1fb35fec7f0606faa1e3129174e12dd28a Mon Sep 17 00:00:00 2001 From: Tyler Lubeck Date: Thu, 26 Sep 2019 14:54:54 -0700 Subject: [PATCH] Terminology changes --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 1a6880bb..ac93950d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -141,7 +141,7 @@ The relevant maintainer for a pull request is assigned in 3 steps: * Step 2: Find the MAINTAINERS file which affects this directory. If the directory itself does not have a MAINTAINERS file, work your way up the the repo hierarchy until you find one. -* Step 3: The first maintainer listed is the primary maintainer. The pull request is assigned to him. He may assign it to other listed maintainers, at his discretion. +* Step 3: The first maintainer listed is the primary maintainer. The pull request is assigned to them. They may assign it to other listed maintainers, at their discretion. ### I'm a maintainer, should I make pull requests too?