@monsieuricon is it resynced now, seems the folders i need have come back atleast after a couple of days
@monsieuricon
That explains why my mirror (mirror.as35701.net) suddenly had to resync the entire lot the past days.
During the July 2 sync run of 4:10AM, rsync deleted nearly the entire local copy.
Meanwhile everything seems to be back in sync and I've added "--max-delete=5000" to my sync script ๐
(Might tweak the value later)
@monsieuricon Thatโs the official version, but we know the truth: that a newly appointed French speaking maintainer read the directory name as a French word, exclaimed โWat is zis? La pub has no plasse on ze kernel web site!โ and deleted it.
(I have a French accent when I speak English so Iโm allowed to make fun.)