doc/release: acknowledge that CI builds are now there

Signed-off-by: Yann Dirson <yann.dirson@vates.fr>

diff --git a/doc/release.md b/doc/release.md
index af17239b90d93d410333c355236691ca179f9508..9876f246d6390e1c61c8727cacdda4d5febb1649 100644 (file)
--- a/doc/release.md
+++ b/doc/release.md
@@ -1,7 +1,10 @@
 # release process
 
-This describes the current state of things, most of this will get
-automated by scripts and CI jobs.
+This describes:
+
+- the manual steps to release a new version
+- the explanation of how the Gitlab CI jobs producing binaries work,
+  and how to reproduce the locally if needed
 
 These instructions assume you replace `$VERSION` with the actual
 version being released.