Ah, so we'll have to remove those from the properties file...

A.

On Mon, Dec 28, 2015 at 10:14 AM, Daniel Beck <[email protected]> wrote:

>
> > On 28.12.2015, at 16:10, Andrew Bayer <[email protected]> wrote:
> >
> >  it should be already excluding wiki-less plugins. Am I reading this
> wrong?
>
> Yes and no.
>
> New plugins without a wiki page actually were already excluded since June,
> but existing plugins without a wiki page defined got an override added here
> so they don't disappear in the grace period:
>
> https://github.com/jenkinsci/backend-update-center2/blob/master/src/main/resources/wiki-overrides.properties#L72...L107
>
> --
> 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/369CB3A6-0123-419C-B9F5-2A6576613FAA%40beckweb.net
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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/CAPbPdObBxhpN-Z9mAPeU%2BVkxv6o7aqXrp%3DO7xHgLvPPHo%2BWT1Q%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to