summaryrefslogtreecommitdiffstats
path: root/.github/ok.sh
Commit message (Collapse)AuthorAgeFilesLines
* build: Allow for updating an existing draft releaseFlorian Zschocke2022-02-011-20/+328
| | | | | | | | | | | When creating a release draft and uploading assets, provision for the case that a draft release already exists. In that case, instead of creating a release, the existing release (changelog) is edited and the assets are deleted before the new built ones are uploaded. This commit also introduces the `${gh.repo}` property in build.xml, so that the Github project could be chosen dynamically. Not really needed, to be honest, but, yeah, whatever.
* Add deployment of a release to GitHubFlorian Zschocke2020-01-271-0/+2560
Add Ant tasks and macros to deploy binaries to GitHub, using GitHub's releases. Adds an Awk script to extract GH flavoured markdown release notes from the release.moxie file. Adds `ok.sh` to the repository so that it is readily available. This is a Bourne shell GitHub API client, used to create a release on GitHub and upload the binaries.