Some good news:
- https://trac.osgeo.org/osgeo/ticket/2416 transfer of domains
Planet has transferred the geoserver.org domain to osgeo.
- osgeo sys admins have made a new dns record for geoserver.org and friends:
geoserver.org/www.geoserver.org 185.199.110.153
build.geoserver.org (144.76.162.70)
docs.geoserver.org (18.67.0.116)
Regina Obe and Alessandro and myself sorted this out yesterday.
- Regina also set-up some time ago a web server for docs.geoserver.org content.
- https://trac.osgeo.org/osgeo/ticket/2640 docs.geoserver.org website request
Volunteer needed to do the next step:
- Copy the geotools-main-docs job in jenkins to geoserver-main-docs
- Publish to “docs-geoserver.osgeo.org” as a trial
- When happy change docs.geoserver.org over to new location, and update build job
···
–
Jody Garnett