diff options
| author | coqbot-app[bot] | 2021-02-04 11:06:49 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-04 11:06:49 +0000 |
| commit | c7d0084fc64042380dd1675095f8be6ec438fcb0 (patch) | |
| tree | 9a4f0721769e9494f68eb60a1b011029ad452d08 /dev/doc | |
| parent | 4b7feb4e022eab13ead7468687a53bc5afae0f8f (diff) | |
| parent | e5093e8c205d292ab15b6a64c3d6671583ab6495 (diff) | |
Merge PR #13528: [RM] Script to list the contributors between two git revisions
Reviewed-by: Zimmi48
Reviewed-by: gares
Diffstat (limited to 'dev/doc')
| -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 894244044a..64053a62f9 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..vX.X` to check the contributors of version `VX.X`. ## On the date of the feature freeze ## |