Re: Github Issue on Build Failure

[Gregory Nutt]

It looks like there is a Jenkins plugin that allows the Github issue to be
created relatively easily. I'd be happy to try and get this working if
everyone agrees.
Just as a matter of practicality, it would be good to restrict to build 
failures and not style check problems, at least for the time being.  
Maybe later we could add style issues.    When we get license checking 
in place, the same would apply. We would also have to restrict this to 
files that exist, not to files being added.