Re: Tools update job on updates.jenkins.io seems to not be running (no updates since Dec 6th)

Thank you Daniel. I will use a Infra jira issue next time. Cheers, Greg -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: Tools update job on updates.jenkins.io seems to not be running (no updates since Dec 6th)

> On 15. Dec 2017, at 15:51, Greg Smith wrote: > > I'm not sure whom to contact about this problem, so ended up here. Infra mailing list or infra issue tracker would be the preferred methods for something like this. That said, this is another symptom of