diff --git a/src/reviewers.rs b/src/reviewers.rs
index 8e7fdc48..cc0e73e7 100644
--- a/src/reviewers.rs
+++ b/src/reviewers.rs
@@ -127,7 +127,6 @@ impl Reviewers {
         insert("tlively", a("Thomas Lively", "tlively@google.com"));
         insert("tromey", a("Tom Tromey", "tom@tromey.com"));
         insert("vadimcn", a("Vadim Chugunov", "vadimcn@gmail.com"));
-        insert("willcrichton", a("Will Crichton", "wcrichto@cs.stanford.edu"));
         insert("xfix", a("Konrad Borowski", "konrad@borowski.pw"));
         insert("yichoi", a("Young-il Choi", "duddlf.choi@samsung.com"));
         insert("y-nak", a("Yoshitomo Nakanishi", "yurayura.rounin.3@gmail.com"));