diff options
| author | coqbot-app[bot] | 2021-02-23 12:02:38 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-23 12:02:38 +0000 |
| commit | 1c80a79ae2824027edeea2439bf7e53298724be8 (patch) | |
| tree | 6ff9f5807e498e5cea6eb1f86b981926eed54098 /dev | |
| parent | 64f12dec42adeaeb06266ab8aadd56a9f544b823 (diff) | |
| parent | 16b04b00e33d4747e3366edd7955c5445c2679af (diff) | |
Merge PR #13880: Fix the release process checklist with respect to the refman update.
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index e450cd2b8b..57c325f698 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -153,11 +153,10 @@ - [ ] Publish a release on GitHub with the PDF version of the reference manual attached. -## Once the final release is published ## +## For each non-preview release ## -Ping `@Zimmi48` to: - -- [ ] 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 +167,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. |