From 9d878c3f830eb5e5e31726c3b5580a7a724ecfab Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Dec 2020 17:16:33 +0100 Subject: [rm] update instructions for windows signing --- dev/doc/release-process.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'dev') 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 -- cgit v1.2.3 From 39b4eb98d529e8f08f18b4007a13416902c7ec26 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Dec 2020 17:42:06 +0100 Subject: [rm] manual is uploaded by CI --- dev/doc/release-process.md | 2 -- 1 file changed, 2 deletions(-) (limited to 'dev') diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 833879548a..20f2c7df07 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -147,8 +147,6 @@ in time. 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. - *TODO: setup some continuous deployment for this.* - [ ] Merge the website update, publish the release and send announcement e-mails. - [ ] Close the milestone -- cgit v1.2.3 From 5f11345fa17091b012c0c89ae18f2ed06ee3a102 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 8 Dec 2020 16:01:03 +0100 Subject: Update dev/doc/release-process.md Co-authored-by: Théo Zimmermann --- dev/doc/release-process.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'dev') 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 -- cgit v1.2.3 From fc758c0b75412038b942a331b17f745969bb33d0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 9 Dec 2020 10:54:39 +0100 Subject: [rm] announcements to discourse --- dev/doc/release-process.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'dev') diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index f7f1801307..39ad7f3b8f 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -147,7 +147,9 @@ in time. - [ ] 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 - and send announcement e-mails. + and send announcement e-mails, typically on + the `coq-club@inria.fr` mailing list and the discourse forum + ([posting by mail](https://github.com/coq/coq/wiki/Discourse)) - [ ] Close the milestone ## At the final release time ## -- cgit v1.2.3