Edited release instructions.

dominique-unruh · Sep 22, 2023 · cc75154 · cc75154
1 parent ab6c4e9
commit cc75154
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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