Add exceptions for IPR failures (#109)

tc39 · Jun 25, 2024 · 754bdc3 · 754bdc3
1 parent 0067d9f
commit 754bdc3
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/scripts/ipr-check.js b/scripts/ipr-check.js
@@ -154,11 +154,12 @@ const usernames = request(sheetData).then((json) => JSON.parse(json)).then(data
 });
 
 const exceptions = new Set([
-  'EricSL', // Google employee
+  'fitzgen', // former Mozilla employee
+  'lforst', // Sentry employee
   'jaro-sevcik', // Google empolyee
   'jkrems', // Google employee
   'josephschorr', // former Google empolyee
-	'sideshowbarker', // Mozilla employee
+  'sideshowbarker', // Mozilla employee
 ].map(x => x.toLowerCase()));
 
 Promise.all([usernames, authors, delegates, emeriti]).then(([usernames, authors, delegates, emeriti]) => {