On Wednesday, October 1, 2025 at 6:30:28 AM UTC-6 David wrote: And to be clear, I am more than happy to make the change myself and offer a complete pull request.
If you're willing to do the work yourself, then you can immediately use the result of that work on your installation, whether or not it is ever included in a release of the Maven plugin. I am more so making sure that a request and offer like this would even be welcome to the team. It seems yes, but while I have you here, I figured I'd ask. The Maven integration plugin is not being actively enhanced. I doubt that your pull request will be merged, but even if it is not merged, you can use the incremental build of your pull request and allow others to have access to that incremental build as well. Mark Waite -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/jenkinsci-users/2344e980-b5c9-4e5a-88b1-b255f56fcbdcn%40googlegroups.com.
