Re: [Geoserver-devel] Community modules server down

2018-12-17 Thread Jorge Gustavo Rocha
Hi Jody, Thanks for the feedback. I've found a few references to the old server in the documentation. I've made a (careful) find and replace and submitted the result as a PR. I would be grateful if you can review it [1]. Best regards, Jorge [1] https://github.com/geoserver/geoserver/pull/3300

Re: [Geoserver-devel] Community modules server down

2018-12-17 Thread Jody Garnett
The server moved to build.geoserver.org quite some time ago? https://build.geoserver.org/geoserver/2.14.x/ -- Jody Garnett On Mon, 17 Dec 2018 at 12:57, Jorge Gustavo Rocha wrote: > Hi, > > The server ares.opengeo.org|ares.boundlessgeo.com|108.178.11.4 is not > responding. Did it joined the 'ye

[Geoserver-devel] Community modules server down

2018-12-17 Thread Jorge Gustavo Rocha
Hi, The server ares.opengeo.org|ares.boundlessgeo.com|108.178.11.4 is not responding. Did it joined the 'yellow vests' movement? I would be grateful if someone is able to get it up and running. Regards, Jorge -- Logo*   Geomaster, LDA*   *VENHA DESCOBRIR O CAMINHO DO OPEN SOURCE CONNOSC**O *