Public UDD mirror offline? (Was: Public UDD mirror out of sync again)

Hi, is the public mirror offline? $ ping udd-mirror.debian.net PING udd-mirror.debian.net (147.75.35.146) 56(84) bytes of data. >From node12.net.fosshost.org (139.178.85.99) icmp_seq=1 Destination Host >Unreachable >From node12.net.fosshost.org (139.178.85.99) icmp_seq=2 Destination Host

Re: Public UDD mirror out of sync again

Am Tue, Dec 14, 2021 at 04:06:02PM +0100 schrieb Mattia Rizzolo: > Hopefully at the very least reduced the probability to happen in the > future with > https://github.com/paulproteus/public-udd-mirror/commit/15df7d89fb6d447e0e4b57c3e3f24aa512414b64 Makes sense. > Thanks for reporting! Thanks a

Re: Public UDD mirror out of sync again

On Mon, Dec 13, 2021 at 03:14:09PM +0100, Andreas Tille wrote: > seems there is another case that public UDD mirror is out of sync. It looks like networks errors are way too frequent recently... > It would be great if this could be fixed (and prevented in future). Hopefully at the very least

Public UDD mirror out of sync again

Hi, seems there is another case that public UDD mirror is out of sync. UDD udd=# select source, version, upstream_version from upstream where source like 'r-cran-uwot' ; source| version | upstream_version -+--+-- r-cran-uwot | 0.1.11-1 | 0.1.11