Re: [Geoserver-devel] Documentation not updated since October 15th

2018-11-17 Thread Andrea Aime
It's working fine, thank you! Cheers Andrea On Thu, Nov 8, 2018 at 6:31 PM Torben Barsballe wrote: > GeoServer docbuilds are now working, and docs are getting updated on the > website. > > Note that it may take a little while after the doc build for the updates > to actually show up on the webs

Re: [Geoserver-devel] Documentation not updated since October 15th

2018-11-08 Thread Torben Barsballe
GeoServer docbuilds are now working, and docs are getting updated on the website. Note that it may take a little while after the doc build for the updates to actually show up on the website. Torben On Wed, Nov 7, 2018 at 4:51 PM Torben Barsballe wrote: > Updates to the docbuild are in progress

Re: [Geoserver-devel] Documentation not updated since October 15th

2018-11-07 Thread Torben Barsballe
Updates to the docbuild are in progress. Currently, some doc pages (on master/latest) are broken (return a 403), fix still pending. Torben On Wed, Nov 7, 2018 at 9:06 AM Torben Barsballe wrote: > I'm still trying to get the new commands (and credentials) to use to > update the doc server from o

Re: [Geoserver-devel] Documentation not updated since October 15th

2018-11-07 Thread Torben Barsballe
I'm still trying to get the new commands (and credentials) to use to update the doc server from our internal devops team. So, I am tracking the issue, its just taking (a lot) longer than I would have liked. Cheers, Torben On Mon, Nov 5, 2018 at 5:22 AM Andrea Aime wrote: > Hi, > in other th

[Geoserver-devel] Documentation not updated since October 15th

2018-11-05 Thread Andrea Aime
Hi, in other threads we discovered that the doc server has been decommisioned and replaced with S3 storage, is that right? However the documentation build was not updated accordingly, and has been failing since October 15th, e.g.: https://build.geoserver.org/view/geoserver/job/geoserver-master-liv