Update receive-from-github.js (#4115)

2022-02-10 10:00:24 -07:00
parent 7bca25a803
commit 447a4b58ed
1 changed files with 3 additions and 1 deletions
@@ -48,7 +48,9 @@ module.exports = {
      'ksatter',
      'guillaumeross',
      'dominuskelvin',
-      'sharvilshah'
+      'sharvilshah',
+      'michalnicp'
+
    ];
    let GITHUB_USERNAME_OF_DRI_FOR_LABELS = 'noahtalerman';// « Used below