From ca7f53dea6774475c5f0d3d62d843527996fe890 Mon Sep 17 00:00:00 2001
From: Andreas Motl <andreas.motl@crate.io>
Date: Fri, 12 Jan 2024 23:16:47 +0100
Subject: [PATCH] Sandbox: Update development docs about changes to the release
 process

---
 DEVELOP.rst | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/DEVELOP.rst b/DEVELOP.rst
index 6cd78a59..17e7ddce 100644
--- a/DEVELOP.rst
+++ b/DEVELOP.rst
@@ -150,10 +150,16 @@ To create a new release, you must:
 
 - Push to origin and create a tag by invoking ``./devtools/create_tag.sh``
 
-- Run the ``admin_ui_release`` job on Jenkins
+- Run the ``admin_ui_release`` job on Jenkins, using the relevant
+  tag of the new release version
 
-- Submit a patch to upgrade Admin UI in CrateDB like
-  https://github.com/crate/crate/pull/13390
+- Find out about the SHA256 checksum of the release tarball::
+
+    wget https://cdn.crate.io/downloads/releases/crate-admin-1.24.7.tar.gz
+    sha256sum crate-admin-1.24.7.tar.gz
+
+- Submit a patch to update Admin UI in CrateDB, like
+  https://github.com/crate/crate/pull/15337
 
 
 *************