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.	před 2 roky
..
workflows	ci: Ignore all branches starting with `release`.	před 4 roky
ok.sh	build: Allow for updating an existing draft release	před 2 roky

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.

před 2 roky

workflows

ci: Ignore all branches starting with `release`.

před 4 roky

ok.sh

build: Allow for updating an existing draft release

před 2 roky