Improve dev documentation

- Add git tag command
HSG-Library · Nov 20, 2023 · 8434130 · 8434130
1 parent b304e8d
commit 8434130
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/DEV.md b/DEV.md
@@ -3,7 +3,11 @@
 ## How to release
 ### Via GitHub actions
 - Release workflow: [.github/workflows/release.yml](.github/workflows/release.yml)
-- Release is triggered when a tag, which matches a semver format
+- Release is triggered when a tag which matches a semver format is created
+```shell
+git tag -a 0.0.0 -m "0.0.0"
+git push --tags
+```
 - Maven runs automatically and the release will be uploaded to GitHub
 
 ### Manually