Okay https://github.com/jenkins-infra/pipeline-library/pull/171 got merged last night
https://updates.jenkins.io/updates/ is now showing 11-14 so \o/ crawlers are back online On Fri, Nov 13, 2020 at 1:54 PM Daniel Beck <[email protected]> wrote: > Usually it runs every four hours, but an infra change two weeks ago > accidentally caused it to stop. > > For posterity: > Someone changed the configured Jenkins URL to fix an issue with Jetty. > That caused > https://github.com/jenkins-infra/pipeline-library/blob/376e4789fcfca012198fd2dccba7436db87b3a36/vars/infra.groovy#L8 > to return false (an unnecessarily brittle line of code if I've ever seen > one) > That caused > https://github.com/jenkins-infra/crawler/blob/265a0740aed9538e8f9c6c23121ed41930ff98d2/Jenkinsfile#L10 > to effectively disable periodic executions. > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtJyy13DmtyXdtLSd78LgB1BjC-gztguX6Dsn0fK7oo7CQ%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtJyy13DmtyXdtLSd78LgB1BjC-gztguX6Dsn0fK7oo7CQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DuvoFamSpeuYBvB9JMLvaxcAih5iPRGdnEFMsqpM8%3D1%3DpA%40mail.gmail.com.
