Am 06.02.25 um 16:36 schrieb gary%duzan.org@localhost:
FWIW, is looks like the github and anonhg src/xsrc repos haven't been
updated in over a week, though I'm sure I have seen at least some src
updates more recently. If this is to be expected, that would be good to
know, and I can fall back to CVS.
It's certainly not expected.I took a look just now, and it seems the mirroring is working again. Thanks for reporting.
-- Benny