Commit graph

2 commits

Author SHA1 Message Date
Simon Ser 703671a12d release: push tags before creating GitHub release
Otherwise the GitHub release isn't attached to the Git tag.

(cherry picked from commit a2757e5f16)
2024-10-06 16:54:27 +02:00
Simon Ser 829c75b9c9 Add release script 2024-02-26 09:02:06 -05:00