Closed drBosse closed 7 years ago
https://developer.github.com/v3/repos/releases/#create-a-release
Above is the automated way of doing it through the REST API.
The binaries we'd release depend on #118. I doubt we'd want to start publishing the uberJar
https://developer.github.com/v3/repos/releases/#create-a-release