Ah, so it's just a matter of filing a PR there? Cool. Thanks. Now to teach myself enough Groovy for my purposes :)
On Mon, 1 Jun 2020 at 18:16, Daniel Beck <[email protected]> wrote: > > > > On 1. Jun 2020, at 14:56, Tim Van Holder <[email protected]> > wrote: > > > > The second is still a question mark. I found one page somewhere about > needing to write a scraper to generate the file, but that did not go into > details on what that would look like, or how to get an update center to use > it. > > > > https://github.com/jenkins-infra/crawler/ is periodically executed in > Jenkins project infrastructure. > > Results are placed in https://updates.jenkins.io/updates/ > > -- > 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/D374727B-862F-45CB-A373-65F144A4A290%40beckweb.net > . > -- 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/CAKMi--D97V1L5qrikqCNKKNOik0%2BGp9YQ1CmGkJ5%3Du1fKY6iNg%40mail.gmail.com.
