Update area-owners.json to reflect change in area-owners.md (dotnet#8…

…7144)
jakobbotsch · Jun 6, 2023 · 0d39875 · 0d39875
1 parent f026bb0
commit 0d39875
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -96,3 +96,8 @@
 
 /docs/project/list-of-diagnostics.md                @jeffhandley
 /src/libraries/Common/src/System/Obsoletions.cs     @jeffhandley
+
+# Area ownership and repo automation
+/docs/area-owners.*                                 @jeffhandley
+/docs/issue*.md                                     @jeffhandley
+/.github/fabricbot.json                             @jeffhandley
diff --git a/docs/area-owners.json b/docs/area-owners.json
@@ -248,7 +248,7 @@
       "label": "area-Diagnostics-mono"
     },
     {
-      "lead": "marek-safar",
+      "lead": "SamMonoRT",
       "owners": [
         "lambdageek"
       ],