On 27.04.2015, at 13:36, Christopher Orr <[email protected]> wrote: > It is possible to edit the ignores file in the update centre code [2], but > that requires a pull request and getting somebody to merge it etc.
They can easily be created within a minute or two on the Github UI, and I'd be happy to review and merge any such PR. (My open PR was mainly to allow community review, I could have committed it directly.) -- 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/87AE25E9-2DFB-4BFA-AE4C-7431F849C9B6%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
