Thank you very much! I just scoured all the way to page 16 out of 20 (chronologically, so the remaining tickets are <=2011), and the only one that even appeared relevant was https://issues.jenkins.io/browse/JENKINS-11825?jql=Component%3D16033.
I'll go ahead and start looking into making the change myself, submit the pr, and then see if the incremental build is good enough to share. Best case scenario, it is, and we can merge it in so that everyone who uses the Maven Plugin will be able to benefit. I'll post my PR to this thread if/once I get it done. Thanks again for your time and help! David Alayachew On Wed, Oct 1, 2025, 9:54 AM Mark Waite <[email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/jenkinsci-users/2344e980-b5c9-4e5a-88b1-b255f56fcbdcn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAA9v-_NAwOkun%3Dj2ukmmoGmDb6v%3DbKzY7eFiOigdTNXxMWodPQ%40mail.gmail.com.
