From 0fc190ec32ca559b878e1167a5c2f031571e240d Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
Date: Mon, 9 Nov 2020 14:08:43 -0800
Subject: [PATCH] Add more team members to pr_owners.txt (#41416)

1. I may have missed some frequent committers. Please let me know if I
did.
2. I'm not sure what pr_owners.txt is used for, besides the bot's
isTeamMember check. Maybe there's a reason the list is so small.
---
 .github/pr_owners.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/pr_owners.txt b/.github/pr_owners.txt
index 0d0dab4f3e0..6177279468b 100644
--- a/.github/pr_owners.txt
+++ b/.github/pr_owners.txt
@@ -6,3 +6,8 @@ RyanCavanaugh
 sheetalkamat
 orta
 rbuckton
+ahejlsberg
+amcasey
+jessetrinity
+minestarks
+uniqueiniquity