WIP: use tag push instead of commit push #167

Draft
Anri wants to merge 1 commit from release-tag into main

1 commit

Author SHA1 Message Date
dabdf86d82 use tag push instead of commit push
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 17s
2024-09-28 13:42:27 +02:00