Update 'Release process'

Alex 2023-05-04 08:52:48 +00:00
parent b9e0ded648
commit 64dc77c520

@ -8,4 +8,6 @@
8. promote the tag build
9. check that the tag build went well, that release page is updated, that docker image is updated
10. write and publish release notes
11. celebrate
11. celebrate
Some of these things can be done out-of-order. E.g. release notes can be written before hand or during compilation, and published before the final binaries are available to download.