diff options
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/release-process.md | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index e450cd2b8b..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. @@ -153,11 +158,10 @@ - [ ] Publish a release on GitHub with the PDF version of the reference manual attached. -## Once the final release is published ## - -Ping `@Zimmi48` to: +## For each non-preview release ## -- [ ] Switch the default version of the reference manual on the website. +- [ ] Ping `@Zimmi48` to switch the default version of the reference + manual on the website. This is done by logging into the server (`vps697916.ovh.net`), editing two `ProxyPass` lines (one for the refman and one for the @@ -168,7 +172,9 @@ Ping `@Zimmi48` to: repository. See [coq/www#111](https://github.com/coq/www/issues/111) and [coq/www#131](https://github.com/coq/www/issues/131). -- [ ] Publish a new version on Zenodo (only once per major version). +## Only for the final release of each major version ## + +- [ ] Ping `@Zimmi48` to publish a new version on Zenodo. *TODO:* automate this with coqbot. |