From 5eeeee1e669b5cab27e3518c53d8161c83e4f577 Mon Sep 17 00:00:00 2001 From: Nanne Baars Date: Sat, 1 Mar 2025 17:14:59 +0100 Subject: [PATCH] chore: extend create release documentation --- CREATE_RELEASE.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/CREATE_RELEASE.md b/CREATE_RELEASE.md index fc22906f0..9f1a1ad3a 100644 --- a/CREATE_RELEASE.md +++ b/CREATE_RELEASE.md @@ -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. +