From 8c8dddac73d696acf47d61a0714587b99c2c8ac8 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Mon, 30 Nov 2020 17:36:23 +0100
Subject: list-contributors script

---
 dev/doc/release-process.md | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'dev/doc')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index 9b43bddd86..3f807f4539 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -63,13 +63,9 @@ in time.
   the update to the Credits chapter of the reference manual.
   See also [#7058](https://github.com/coq/coq/issues/7058).
 
-  The command that was used in the previous versions to get the list
-  of contributors for this version is `git shortlog -s -n
-  VX.X+alpha..master | cut -f2 | sort -k 2`. Note that the ordering is
-  approximative as it will misplace people with middle names. It is
-  also probably not correctly handling `Co-authored-by` info that we
-  have been using more lately, so should probably be updated to
-  account for this.
+  The `dev/tools/list-contributors.sh` script computes the number and
+  list of contributors between Coq revisions. Typically used with
+  `VX.X+alpha..master` to check the contributors of version `VX.X`.
 
 ## On the date of the feature freeze ##
 
-- 
cgit v1.2.3


From e5093e8c205d292ab15b6a64c3d6671583ab6495 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 4 Feb 2021 12:06:18 +0100
Subject: Use release branch instead of master.

---
 dev/doc/release-process.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/doc')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index 3f807f4539..bb766d02ea 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -65,7 +65,7 @@ in time.
 
   The `dev/tools/list-contributors.sh` script computes the number and
   list of contributors between Coq revisions. Typically used with
-  `VX.X+alpha..master` to check the contributors of version `VX.X`.
+  `VX.X+alpha..vX.X` to check the contributors of version `VX.X`.
 
 ## On the date of the feature freeze ##
 
-- 
cgit v1.2.3