chore: extend create release documentation

This commit is contained in:
Nanne Baars 2025-03-01 17:14:59 +01:00
parent 0d4cc06342
commit 5eeeee1e66

View File

@ -8,7 +8,8 @@ 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. In order to fetch the list of issues included use: `git log --graph --pretty='%C(auto)%d%Creset%s' v2023.4..origin/main`
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
@ -19,3 +20,6 @@ git tag v2023.01
git push --tags
```
After the release has been tagged and the build process is done. The release notes should be updated in the GitHub
release page.