Proposal: Remove vestigial wagon-webdav build extension from src/pom.xml

Hi all, I am trying to make our GitHub actions more reliable and robust, to minimise having to rerun tests. Here’s one: Throw HttpErrorCodeException for unsupported tile format · geoserver/geoserver@ffd1c7b · GitHub

The root POM declares wagon-webdav:1.0-beta-2 (from 2008) as a build extension. This was needed historically when the artifact repository used the WebDAV protocol, but the current distributionManagement uses plain HTTPS (https://repo.osgeo.org/repository/Geoserver-releases/), which Maven handles natively without any wagon extension.

The extension causes intermittent CI failures because Maven resolves build extensions before the reactor starts — if the download fails (network timeout, mirror lag), the entire build fails immediately with no retry. We’ve seen this on Windows runners recently (above).

Proposal: remove the extension. GeoTools already uses wagon-webdav-jackrabbit (a newer variant) only in specific app-schema packaging POMs that actually deploy to WebDAV endpoints. The GeoServer root POM doesn’t need it.

If anyone’s deployment workflow still relies on this, we could upgrade to wagon-webdav-jackrabbit:3.5.3 instead of removing it, but given the HTTPS URLs in distributionManagement, removal seems safe.

BTW, other improvements I am proposing: