diff options
author | Jason Gross <jgross@mit.edu> | 2016-11-14 13:06:14 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-11-14 13:06:14 -0500 |
commit | d2d827083a92b07881d239de3ac0a6019c375c27 (patch) | |
tree | ef01184a5c322d929f0a144e3bc8860c7325f0be /etc | |
parent | 08e4be46e6de3dbb596c8f31d37235489bcd6bc4 (diff) |
Add author-blacklist for repo anonymizer
Diffstat (limited to 'etc')
-rw-r--r-- | etc/author-blacklist | 23 |
1 files changed, 23 insertions, 0 deletions
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 |