I have updated the build.geoserver.org jobs appropriately, but because of the process of copying jobs there is a cascade of changes (as upstream jobs are modified point at new downstream jobs as they are created).
During this process I noticed a lot of duplication of version numbers and there is a PR for your consideration <https://github.com/geoserver/geoserver/pull/4126>. -- Jody Garnett
_______________________________________________ Geoserver-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/geoserver-devel
