From 4d7925a1f1f9b061c7a4dbb52306985ad136cbb8 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Wed, 13 May 2020 16:06:26 -0500 Subject: [PATCH] slight updates --- release-tasks-github-list.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/release-tasks-github-list.md b/release-tasks-github-list.md index f861bb9..21e4e3e 100644 --- a/release-tasks-github-list.md +++ b/release-tasks-github-list.md @@ -45,6 +45,10 @@ Release steps: - Download the source tarball from github, verify that its contents is what we expect - Cryptographically sign it (detached, armored signature) - Create full offline_doc tarball and sign it + +Postrelease steps: +-- + - [ ] 14a Create a pre-release on github and upload files (and detached signatures) - [ ] 15 Generate the documentation on the webserver. - [ ] 16 Adjust header.include on homepage -- 2.39.5