diff options
| author | Emilio Jesus Gallego Arias | 2020-02-13 21:18:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-13 21:18:02 +0100 |
| commit | eb24bad700612ac4afb9e60acbe10fd26f45972e (patch) | |
| tree | 291079e3ae068e126155a0e56137acbfbd5d48b0 /dev | |
| parent | 68a05b0899a86da49dba0c01baddd4b75b8305d2 (diff) | |
| parent | 861e3ed8b0c96354c959767ae4750e28193f8d38 (diff) | |
Merge PR #11450: Publishing a new version on Zenodo: not a relevant step for beta versions.
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index ba68501e04..2b09b2b42e 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -127,11 +127,11 @@ in time. - [ ] Send an e-mail on Coqdev announcing that the tag has been put so that package managers can start preparing package updates (including a `coq-bignums` compatible version). -- [ ] Ping **@erikmd** to update the Docker images in `coqorg/coq` +- [ ] Ping `@erikmd` to update the Docker images in `coqorg/coq` (requires `coq-bignums` in `extra-dev` for a beta / in `released` for a final release). - [ ] Draft a release on GitHub. -- [ ] Get **@maximedenes** to sign the Windows and MacOS packages and +- [ ] Get `@maximedenes` to sign the Windows and MacOS packages and upload them on GitHub. - [ ] Prepare a page of news on the website with the link to the GitHub release (see [coq/www#63](https://github.com/coq/www/pull/63)). @@ -139,8 +139,6 @@ in time. *TODO: setup some continuous deployment for this.* - [ ] Merge the website update, publish the release and send announcement e-mails. -- [ ] Ping **@Zimmi48** to publish a new version on Zenodo. - *TODO: automate this.* - [ ] Close the milestone ## At the final release time ## @@ -160,7 +158,10 @@ in time. Repeat the generic process documented above for all releases. +Ping `@Zimmi48` to: + - [ ] Switch the default version of the reference manual on the website. +- [ ] Publish a new version on Zenodo. ## At the patch-level release time ## |