Great, good to hear. Hopefully that keeps things consistent going forward.
Cheers,
Torben
On Fri, Apr 1, 2022 at 6:49 AM Jody Garnett wrote:
> Juan was able to install the correct NTP for the version of ubunutu being
> used, and ask it to check against the cloud providers servers.
> Looks like
Juan was able to install the correct NTP for the version of ubunutu being
used, and ask it to check against the cloud providers servers.
Looks like the documentation build are back.
--
Jody Garnett
On Mar 31, 2022 at 10:28:21 PM, Torben Barsballe
wrote:
> Yeah, this is a time skew between serv
Yeah, this is a time skew between servers. We ran into this issue somewhat
recently (a month or two ago, I think?), and I put a fix in place that
ought to have stopped the issue from coming up again (automatic job to
refresh the time). Evidently, that didn't quite work.
DST could have very well cau
Torben, got a question for you.
Does this error message represent a clock difference between servers? I
wonder if recent European timezone change has caused Jenkins to be slightly
ahead of itself
--
Jody Garnett
On Mar 30, 2022 at 8:50:05 PM, Jody Garnett wrote:
> Blah it is worse than t
Blah it is worse than that, all the doc jobs are broken:
geoserver-2.20.x-livedocs:
Completed 87.3 MiB/96.4 MiB (0 Bytes/s) with 420 file(s) remaining
upload failed: target/2.20.x/en/user/data/vector/properties.html to s3://
docs.geoserver.org/2.20.x/en/user/data/vector/properties.html An error
Yes, we know - we cannot delete pages from S3 (we do not have credentials
for that). The best we can do is upload placeholder pages; but we chose not
to do so (as we were anticipating having control of geoserver.org domain.
Since that is not happening, I fully support adding placeholder pages to
