Merge pull request #878 from stevekuznetsov/skuznets/update-owners

Update OWNERS documents to reflect recent changes
2017-08-08 14:05:04 -07:00 · 2017-08-08 14:05:04 -07:00 · 62cc2179fb
parent 181cbd1904 416a7f8bf0
commit 62cc2179fb
1 changed files with 7 additions and 5 deletions
--- a/contributors/devel/owners.md
+++ b/contributors/devel/owners.md
@ -67,6 +67,8 @@ aliases:
    - frank
 ```

+GitHub usernames and aliases listed in OWNERS files are case-insensitive.
+
 ## Code Review Process

 This is a simplified description of our [full PR testing and merge