From d2d827083a92b07881d239de3ac0a6019c375c27 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 14 Nov 2016 13:06:14 -0500 Subject: Add author-blacklist for repo anonymizer --- etc/author-blacklist | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 etc/author-blacklist (limited to 'etc/author-blacklist') diff --git a/etc/author-blacklist b/etc/author-blacklist new file mode 100644 index 000000000..77dd365da --- /dev/null +++ b/etc/author-blacklist @@ -0,0 +1,23 @@ +jasongross9 +jadephilipoom +dmz +jgross +rsloan +jadep +andreser +adamc +jagro +varomodt +mit\.edu +Jason +Gross +Jade +Philipoom +Andres +Erbsen +Adam +Chlipala +csail +Robert +Sloan +Daniel Ziegler -- cgit v1.2.3