summaryrefslogtreecommitdiff
path: root/release.sh
AgeCommit message (Collapse)AuthorLines
2024-10-06release: push tags before creating GitHub releaseSimon Ser-0/+1
Otherwise the GitHub release isn't attached to the Git tag. (cherry picked from commit a2757e5f165eae445ae550fd1d13f9ec0db44efc)
2024-02-26Add release scriptSimon Ser-0/+31