Andreas Dangel a2a4027976 [ci] Fix github-releases-api script to preserve the tag_name ...

Obviously, when updating the release to add the release notes,
the tag_name gets lost, resulting in github creating a
"untagged_xyz" tag and not connecting the release to the correct
tag, although the commit matches.

2020-02-08 10:51:12 +01:00

..

all-java.xml

…

before_install.sh

…

build-coveralls.sh

…

build-deploy.sh

[ci] Fix release script

2020-01-24 18:49:35 +01:00

build-doc.sh

[ci] Refactor build-doc.sh

2019-11-11 19:34:58 +01:00

build-publish.sh

…

build-sonar.sh

…

common-functions.sh

…

configure-maven.sh

…

github-releases-api.sh

[ci] Fix github-releases-api script to preserve the tag_name

2020-02-08 10:51:12 +01:00

id_rsa.pub

…

install-openjdk.sh

…

logger.sh

…

project-list.xml

…

regression-tester.sh

…

render_release_notes.rb

…

secrets.tar.enc

[ci] Update release signing key

2019-12-16 14:41:11 +01:00

setup-secrets.sh

[ci] Update release signing key

2019-12-16 14:41:11 +01:00

sitemap_generator.sh

…

sourceforge-api.sh

…

travis_wait

…

travis-settings.xml

…