[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Public UDD mirror again not up to date



On Tue, Nov 16, 2021 at 09:30:43PM +0100, Mattia Rizzolo wrote:
> (I'll try to keep a mental note to improve this handling, though this
> kind of error is empirically so rare that I'll likely forget)

besides improving and fixing the core of the issues, would it help to
setup a regular (hourly?) monitoring job on jenkins?


-- 
cheers,
	Holger

 ⢀⣴⠾⠻⢶⣦⠀
 ⣾⠁⢠⠒⠀⣿⡁  holger@(debian|reproducible-builds|layer-acht).org
 ⢿⡄⠘⠷⠚⠋⠀  OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
 ⠈⠳⣄

Life is short but a sea of morons is forever.

Attachment: signature.asc
Description: PGP signature


Reply to: