[ I asked this on IRC but haven't got a reply, so trying again... ]
I understand there's an issue of jenkins slowness.
What I know of that issue is that it's suspected to be caused by
b1b64d98e5971437abb3fe793f6fb58eab1ef4fd [to jenkins.debian.net.git] and
that its symptom is
https://jenkins.deb
On 10/18/2016 06:40 PM, Daniel Shahaf wrote:
> [ I asked this on IRC but haven't got a reply, so trying again... ]
>
> I understand there's an issue of jenkins slowness.
>
> What I know of that issue is that it's suspected to be caused by
> b1b64d98e5971437abb3fe793f6fb58eab1ef4fd [to jenkins.debia