docs: expand Board and AeroSim membership

2026-08-14 11:59:47 +00:00
parent 132779d522
commit 7404e0b55b
12 changed files with 110 additions and 10 deletions
@@ -26,7 +26,7 @@ assert.match(config, /projectName:\s*'portal'/, 'Docusaurus project name must be
 assert.doesNotMatch(config, /sterring-commitee/, 'legacy repository name must not remain in Docusaurus config');

 const board = read('docs/board/index.md');
-for (const memberId of ['1518725627845283888', '476287310627864587', '773109855497093191']) {
+for (const memberId of ['1518725627845283888', '476287310627864587', '773109855497093191', '364383883778850827']) {
  assert.ok(board.includes(memberId), `board page is missing Discord member ${memberId}`);
 }
 assert.match(board, /Only these Board members may approve a project kickoff or project closure/i);