Jenkins plug-in that allows the publication of a release in GitHub