2 Commits (8495e4dff7b9451b8ead529a02f47ce5b590dd18)

Author SHA1 Message Date
Simon Ser a2757e5f16 release: push tags before creating GitHub release
3 months ago
Simon Ser 829c75b9c9 Add release script
10 months ago