chore: release 2025.2

2025-03-02 20:37:33 +01:00
parent e9f79cc739
commit affa3f7a1c
3 changed files with 8 additions and 1 deletions
--- a/CREATE_RELEASE.md
+++ b/CREATE_RELEASE.md
@ -18,6 +18,7 @@ mvn verify
 git commit ....
 git tag v2023.01
 git push --tags
+git push
 ```

 After the release has been tagged and the build process is done. The release notes should be updated in the GitHub