From cc7515466d10fa9959a7b2d2063efc2f20faeba7 Mon Sep 17 00:00:00 2001
From: Dominique Unruh <unruh@ut.ee>
Date: Fri, 22 Sep 2023 19:33:54 +0300
Subject: [PATCH] Edited release instructions.

---
 build.sbt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.sbt b/build.sbt
index 95cc0751..2b71d46f 100644
--- a/build.sbt
+++ b/build.sbt
@@ -148,6 +148,7 @@ Steps when releasing a release/release candidate:
  - wait for github runner tests to succeed
  - git push origin vXXX
  - Create a new release here: https://github.com/dominique-unruh/qrhl-tool/releases/new
+ - git cherry master -v
  - git checkout master
  - cherry pick changes from release-candidate branch
  - Edit gh-pages branch