pmd/.travis
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
..
2018-09-02 15:31:01 +02:00
2020-01-24 18:49:35 +01:00
2019-11-11 19:34:58 +01:00
2018-09-02 15:31:01 +02:00
2017-02-24 20:10:22 +01:00
2019-11-10 18:40:47 +01:00
2018-11-14 22:30:00 +01:00