gitblit

Florian Zschocke 5ba51f4f48 build: Allow for updating an existing draft release 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.	vor 2 Jahren
..
workflows	ci: Ignore all branches starting with `release`.	vor 4 Jahren
ok.sh	build: Allow for updating an existing draft release	vor 2 Jahren

Florian Zschocke 5ba51f4f48 build: Allow for updating an existing draft release

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.

vor 2 Jahren

workflows

ci: Ignore all branches starting with `release`.

vor 4 Jahren

ok.sh

build: Allow for updating an existing draft release

vor 2 Jahren