Merge pull request #10257 from jtpio/labeler

Add the new packages to the labeler

.github/labeler.yml

@@ -96,6 +96,10 @@ pkg:docmanager:
   - packages/docmanager-extension/**/*
   - packages/docmanager-extension/*
 
+pkg:docprovider:
+  - packages/docprovider/**/*
+  - packages/docprovider/*
+  
 pkg:docregistry:
   - packages/docregistry/**/*
   - packages/docregistry/*
@@ -238,6 +242,10 @@ pkg:settingregistry:
   - packages/settingregistry/**/*
   - packages/settingregistry/*
 
+pkg:shared-models:
+  - packages/shared-models/**/*
+  - packages/shared-models/*
+
 pkg:shortcuts:
   - packages/shortcuts-extension/**/*
   - packages/shortcuts-extension/*
@@ -264,6 +272,12 @@ pkg:themes:
   - packages/theme-light-extension/**/*
   - packages/theme-light-extension/*
 
+pkg:toc:
+  - packages/toc/**/*
+  - packages/toc/*
+  - packages/toc-extension/**/*
+  - packages/toc-extension/*
+  
 pkg:tooltip:
   - packages/tooltip/**/*
   - packages/tooltip/*