diff options
| author | Maxime Dénès | 2020-05-09 13:00:24 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-05-09 13:00:24 +0200 |
| commit | 3d20cedd6c7a38e712a6d94ecf52158fe6aa49db (patch) | |
| tree | acfd805afa62ce1dae549041e631b4ca783b5986 | |
| parent | 3a7ff44f1ffaff3a8bb8c5a9c95a9b102e31c476 (diff) | |
| parent | 5cf5f3bb94d832cd70c6a64fceefed1d2dbc9f6a (diff) | |
Merge PR #12040: Document the signing procedure of released binary packages.
Reviewed-by: Zimmi48
Reviewed-by: maximedenes
| -rw-r--r-- | dev/doc/release-process.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 58c2fcc68a..ceb390c02c 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -131,8 +131,12 @@ in time. the package managers can Cc `@erikmd` to request that he prepare the necessary configuration for the Docker release in [`coqorg/coq`](https://hub.docker.com/r/coqorg/coq) (namely, he'll need to make sure a `coq-bignums` opam package is available in [`extra-dev`](https://github.com/coq/opam-coq-archive/tree/master/extra-dev), respectively [`released`](https://github.com/coq/opam-coq-archive/tree/master/released), so the Docker image gathering `coq` and `coq-bignums` can be built). - [ ] Draft a release on GitHub. -- [ ] Get `@maximedenes` to sign the Windows and MacOS packages and - upload them on GitHub. +- [ ] Sign the Windows and MacOS packages and upload them on GitHub. + + The Windows packages must be signed by the Inria IT security service. They + should be sent as a link to the binary together with its SHA256 hash in a + signed e-mail, via our local contact (currently `@maximedenes`). + + The MacOS packages should be signed by our own certificate, by sending them + to `@maximedenes`. A detailed step-by-step guide can be found [on the wiki](https://github.com/coq/coq/wiki/SigningReleases). - [ ] 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)). - [ ] Upload the new version of the reference manual to the website. |