Question: GitHub release provider for Travis needed?

[beatngu13]

Hi folks!

I'm a contributor to JUnit Pioneer (which uses Shipkit) and some time ago I've opened this PR adding a GitHub release provider to the Travis config because releases haven't been marked properly (see v0.3.2).

I'm not very familiar with Shipkit, but while the PR was open, Shipkit suddenly created proper releases (see v0.3.3). Maybe this was due to a misconfiguration of Shipkit on Pioneer's behalf, but we merged the PR anyway.

Recently I realized that the GitHub release provider is never triggered due to Shipkit's CI skip when committing the release tag, so I've opened this issue. I just wonder what is the "Shipkit way" of doing this?

If, for example, I want to add additional artifacts to the GitHub release (e.g. JARs), should this be done with a GitHub release provider for Travis and then prevent Shipkit from skipping the CI build? Or is the release provider not needed at all?

Thank you in advance! 🙏

[aepfli]

relates to #843