aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.mailmap7
1 files 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>