For more details on the code structure here
Releases can be done via github actions and the built jar and users can download it on the github release page
- Adapt the version in the
<version>section of maven config - merge this change into main
- create a tag locally on your computer using
git tag v[version], e.g.git tag v1.0.0 - push tag using
git push origin v1.0.0(adapt to the version) - If the github actions workflow ran successfully, you can edit the release as necessary on the github release page and switch it from Pre-release to release
(remove the flag
This is a pre-release)
Note, that there is a danger that the version in pom.xml and in the git tag don't match. This could/should be streamlined in the future.