Jenkins repo plugin

[James Westby]

Hi,

https://github.com/jenkinsci/repo-plugin

is a new plugin for Jenkins to provide a "repo" SCM provider.

This means that you can have Jenkins watch for changes via repo, and
trigger actions based on that.

I don't think this is useful to us with the things that we currently do,
but may be useful sometime, e.g.

  * if we want to add a "build on any change" option to the build
    service, rather than just "build daily"

  * As part of the solution to
    https://wiki.linaro.org/Platform/Android/Specs/BuildTestedMerge

Thanks,

James