On 27.04.2015, at 13:36, Christopher Orr <ch...@orr.me.uk> 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
