This was merged without coordinating, so it needs a force-push. We should also use the tag-based release system that was developed for the jenkins plugins for this.
This was merged without coordinating, so it needs a force-push. We should also use the tag-based release system that was developed for the jenkins plugins for this.