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

Re: Public UDD mirror again not up to date



On Sat, Nov 20, 2021 at 01:26:37PM +0000, Holger Levsen wrote:
> besides improving and fixing the core of the issues, would it help to
> setup a regular (hourly?) monitoring job on jenkins?

I don't think it's need for this case, but thank you for your offer! :)

-- 
regards,
                        Mattia Rizzolo

GPG Key: 66AE 2B4A FCCF 3F52 DA18  4D18 4B04 3FCD B944 4540      .''`.
More about me:  https://mapreri.org                             : :'  :
Launchpad user: https://launchpad.net/~mapreri                  `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia  `-

Attachment: signature.asc
Description: PGP signature


Reply to: