A few more things:
1. A bit more testing to make sure everything important is actually
there and we're not missing something, and fix anything we are missing
(e.g. we don't yet have any of the specific release artifacts linked from
the homepage. I might still have a script from 2 build
That sounds excellent, torben thank you so much for working on this! What
is needed to complete the switch? Adjusting DNS entry (and shutting off the
old job...).
I do not think there is any trouble moving geotools docs around.
On Mon, Aug 22, 2022 at 4:39 PM Torben Barsballe
wrote:
> As an upd
