Improve release process description

This commit is contained in:
Dominik Jain committed 2026-04-11 15:29:22 +02:00
1 parent 812b6e066a
commit f974abc9ef
1 file changed
+2 -1
+2 -1
View File
@@ -16,4 +16,5 @@ and tools for formatting and type checking.
This also creates the git tag.
3. Push to GitHub, triggering the release process.
git push --tags
git push
git push --tags