Update mailbot config

mit-pdos · Jan 12, 2024 · 393e4ad · 393e4ad
1 parent 8bfd1d4
commit 393e4ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/mailbot.json b/.github/mailbot.json
@@ -1,4 +1,4 @@
 {
   "commitEmailFormat": "html",
-  "commitList": "tchajed@mit.edu,[email protected],[email protected],[email protected]"
+  "commitList": "tchajed@gmail.com,[email protected],[email protected],[email protected]"
 }