diff options
| author | Matthieu Sozeau | 2020-11-30 17:36:23 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-11-30 17:44:37 +0100 |
| commit | 8c8dddac73d696acf47d61a0714587b99c2c8ac8 (patch) | |
| tree | 77fa20d123eefd56900287c645be69d98572a2b9 /dev/doc/release-process.md | |
| parent | 0af89e4c04b1ecf437a86b50a34a17eddee56b76 (diff) | |
list-contributors script
Diffstat (limited to 'dev/doc/release-process.md')
| -rw-r--r-- | dev/doc/release-process.md | 10 |
1 files changed, 3 insertions, 7 deletions
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 ## |