<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr">On Sat, Sep 15, 2018 at 1:28 AM Robin Sommer <<a href="mailto:robin@corelight.com">robin@corelight.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Are Jenkins and Coverity already pulling from GitHub?<br></blockquote><div><br></div><div>No, I thought Jenkins was pushing to Coverity.</div><div><br></div><div>Is the plan to have GitHub issues within each repo? That is, bro, binpac, etc. I think we'd lose the easy way to see all issues, but if I recall, there was a way in GitHub to see issues across a few repos. Maybe by organization?</div><div><br></div><div> --Vlad<br></div></div></div>