Re: [Geoserver-devel] https://github.com/geoserver/geoserver/pull/7577

2024-04-26 Thread Andrea Aime
Aaah yep, it's a big one for sure PMD upgrade to version 7. They rewrote the java scanner and it's not much better at finding violations. 441 files modified in the PR so far, quite a bit of modules not yet reached by the build, and this is the current output: Error: 0,053 [ERROR] Failed to ex

[Geoserver-devel] https://github.com/geoserver/geoserver/pull/7577

2024-04-26 Thread Mark Prins
Hi, https://github.com/geoserver/geoserver/pull/7577 turns out to be much more work than anticipated, unfortunately I've no run out of time due to upcoming holidays, so this PR will stall from my side for a couple of weeks. Anyone willing to spend some time on it is quite welcome 🤣 If not I wi