officer discords are now optional

EthanThatOneKid · Jul 16, 2024 · bee50b0 · bee50b0
1 parent 665899a
commit bee50b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/public/board/types.ts b/src/lib/public/board/types.ts
@@ -60,7 +60,7 @@ export interface Officer {
   positions: {
     [key in Term]?: Position[];
   };
-  discord: string;
+  discord?: string;
   displayName?: string;
 }