diff options
| author | Enrico Tassi | 2020-12-09 10:54:39 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-09 10:54:51 +0100 |
| commit | fc758c0b75412038b942a331b17f745969bb33d0 (patch) | |
| tree | e6fb469f8d35e3b6e442d0c882680f3e81cc0c17 /dev/doc | |
| parent | 5f11345fa17091b012c0c89ae18f2ed06ee3a102 (diff) | |
[rm] announcements to discourse
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/release-process.md | 4 |
1 files changed, 3 insertions, 1 deletions
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 ## |