Commit graph

2 commits

Author SHA1 Message Date
Simon Ser a2757e5f16 release: push tags before creating GitHub release
Otherwise the GitHub release isn't attached to the Git tag.
2024-09-29 17:44:47 +02:00
Simon Ser 829c75b9c9 Add release script 2024-02-26 09:02:06 -05:00