From afa4882102d627ce5be6821f591f3bf42fe74324 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 5 Mar 2021 15:03:59 +0100
Subject: Document the relation of the list-contributors.sh script to .mailmap.

---
 dev/doc/release-process.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index 57c325f698..1697a19668 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -114,6 +114,11 @@
   list of contributors between Coq revisions. Typically used with
   `VX.X+alpha..vX.X` to check the contributors of version `VX.X`.
 
+  Note that this script relies on `.mailmap` to merge multiple
+  identities.  If you notice anything incorrect while using it, use
+  the opportunity to fix the `.mailmap` file.  Same thing if you want
+  to have the full name of a contributor shown instead of a pseudonym.
+
 ## For each release (preview, final, patch-level) ##
 
 - [ ] Ensure that there exists a milestone for the following version.
-- 
cgit v1.2.3