Skip to content

Commit

Permalink
Merge branch 'main' into spec-review-first-pass
Browse files Browse the repository at this point in the history
  • Loading branch information
jkup authored Jun 25, 2024
2 parents 898c05f + 754bdc3 commit 5685457
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions scripts/ipr-check.js
Original file line number Diff line number Diff line change
Expand Up @@ -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]) => {
Expand Down

0 comments on commit 5685457

Please sign in to comment.