aboutsummaryrefslogtreecommitdiff
path: root/release.sh
AgeCommit message (Collapse)AuthorLines
2024-09-29release: push tags before creating GitHub releaseSimon Ser-0/+1
Otherwise the GitHub release isn't attached to the Git tag.
2024-02-26Add release scriptSimon Ser-0/+31