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

2017-12-15 Thread Greg Smith 

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 jenkinsci-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-users/0f74fcc9-9618-4db9-baba-d3452845cc98%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

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

2017-12-15 Thread Daniel Beck 

> 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 
https://issues.jenkins-ci.org/browse/INFRA-1428 but not one as easy to work 
around.

I'll poke KK again.

Daniel

-- 
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 jenkinsci-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-users/A8375313-68F7-40D8-8A40-EEF008B9588C%40beckweb.net.
For more options, visit https://groups.google.com/d/optout.