From 11e8b3de07b82bd6dcec8a59c04ef95f05ccd2f7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 12 Nov 2018 17:58:12 +0100
Subject: [mailmap] Update "anonymous" accounts.

Of the three "anonymous" accounts, one ("coq") was used by multiple authors
(in particular Jacek Chrząszcz who developed the module system), while the
other two are each the committer of a single auto-generated commit so we rename
them to cvs2svn and serpyc-bot.
---
 .mailmap | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.mailmap b/.mailmap
index d79d1f7fb7..e9e4d11641 100644
--- a/.mailmap
+++ b/.mailmap
@@ -133,5 +133,8 @@ Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> Théo Zimmermann <theo.
 # Anonymous accounts
 
 anonymous < >                                      coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7>
-anonymous < >                                      (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7>
-anonymous < >                                      serpyc <serpyc@85f007b7-540e-0410-9357-904b9bb8a0f7>
+
+# Bot accounts
+
+cvs2svn < >                                        (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7>
+serpyc-bot < >                                     serpyc <serpyc@85f007b7-540e-0410-9357-904b9bb8a0f7>
-- 
cgit v1.2.3