[Geoserver-devel] build.geoserver.org

Setting up a new build server - and would like to list it as build.geoserver.org.

There is a ticket covering two issues https://trac.osgeo.org/osgeo/ticket/1931

  1. Adding an A record
  2. registering a ssh key so the build server can deploy docs to geotools.org
···


Jody Garnett