Re: coverity-plugin github team

2018-03-02 Thread Daniel Beck
> On 2. Mar 2018, at 23:41, jbri...@synopsys.com wrote: > > For the existing group (from what I can tell) the only remaining member is > not an active maintainer. If it's easy for you to clean that up that would be > nice (not sure if it is bot-controlled... maybe it's out of sync with the > r

Re: coverity-plugin github team

2018-03-02 Thread jbriggs
On Friday, March 2, 2018 at 3:00:39 PM UTC-7, Daniel Beck wrote: > > > > On 2. Mar 2018, at 21:40, jbr...@synopsys.com wrote: > > > > I’d like to add the team “blackduck-detect-plugin” to the > coverity-plugin (or add all members of that plugin team to the > coverity-plugin Developers team).

Re: coverity-plugin github team

2018-03-02 Thread jbriggs
On Friday, March 2, 2018 at 3:00:39 PM UTC-7, Daniel Beck wrote: > > > > On 2. Mar 2018, at 21:40, jbr...@synopsys.com wrote: > > > > I’d like to add the team “blackduck-detect-plugin” to the > coverity-plugin (or add all members of that plugin team to the > coverity-plugin Developers team).

Re: coverity-plugin github team

2018-03-02 Thread Daniel Beck
> On 2. Mar 2018, at 21:40, jbri...@synopsys.com wrote: > > I’d like to add the team “blackduck-detect-plugin” to the coverity-plugin (or > add all members of that plugin team to the coverity-plugin Developers team). The former wouldn't be a great idea, since it's likely we'd just remove it. T

coverity-plugin github team

2018-03-02 Thread jbriggs
Hi, I would like to add another team to the coverity-plugin. I was added as an admin to the github repo ( https://github.com/jenkinsci/coverity-plugin/settings/collaboration) but not to the coverity-plugin Developers team so I don’t have access to change the team or add a team. I’d lik