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

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.

pirms 2 gadiem

workflows

ci: Ignore all branches starting with `release`.

pirms 4 gadiem

ok.sh

build: Allow for updating an existing draft release

pirms 2 gadiem