diff options
| author | Enrico Tassi | 2020-12-08 16:01:03 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-08 16:01:03 +0100 |
| commit | 5f11345fa17091b012c0c89ae18f2ed06ee3a102 (patch) | |
| tree | 846a17e24782aef8db37cb09deb37bbff6c95c5d /dev | |
| parent | 39b4eb98d529e8f08f18b4007a13416902c7ec26 (diff) | |
Update dev/doc/release-process.md
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 20f2c7df07..f7f1801307 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -143,8 +143,7 @@ in time. 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). + + The MacOS packages should be signed with our own certificate. 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)). - [ ] Merge the website update, publish the release |