On Sat, Sep 15, 2018 at 1:28 AM Robin Sommer <ro...@corelight.com> wrote:

> Are Jenkins and Coverity already pulling from GitHub?
>

No, I thought Jenkins was pushing to Coverity.

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?

  --Vlad
_______________________________________________
bro-dev mailing list
bro-dev@bro.org
http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev

Reply via email to