diff options
| author | Enrico Tassi | 2020-12-07 17:16:33 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-07 17:16:33 +0100 |
| commit | 9d878c3f830eb5e5e31726c3b5580a7a724ecfab (patch) | |
| tree | 1c9cadf74d99e905290e4c95fede854cb421beef /dev | |
| parent | bfd3dac173db73b3eae07df27ec5d307c635afa0 (diff) | |
[rm] update instructions for windows signing
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index e0271d8c62..833879548a 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -140,8 +140,9 @@ in time. - [ ] Draft a release 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`). + should be sent as a link to the binary (via [filesender](https://filesender.renater.fr) for example) + together with its SHA256 hash in a signed e-mail to `dsi.securite` @ `inria.fr` + putting `@maximedenes` in carbon copy. + 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 |