chore: create release v2023.5

2023-11-23 16:05:13 +01:00
parent d6c4e8e454
commit f7a9995fe0
4 changed files with 38 additions and 3 deletions
--- a/CREATE_RELEASE.md
+++ b/CREATE_RELEASE.md
@ -8,7 +8,7 @@ and 2023.01 in the `pom.xml`.
 ### Release notes:

 Update the release notes with the correct version. Use `git shortlog -s -n --since "JAN 06 2023"` for the list of
-committers.
+committers. In order to fetch the list of issues included use: `git log --graph --pretty='%C(auto)%d%Creset%s' v2023.4..origin/main`

 ```
 mvn versions:set