Removal of Developer in Jenkin's github team.

[Ken Dang]

Hi, I was wondering if it was possible to remove a member from this github team (https://github.com/orgs/jenkinsci/teams/coverity-plugin-developers)

Frossi no longer works with Coverity/Synopsys and we would like him to be removed from this group. There doesn't seem to be a way for me (coverity-kdang) to do so. 

Thank you, 

-Ken Dang 

[Daniel Beck]

> On 03.01.2017, at 19:05, Ken Dang <dangh...@gmail.com> wrote:
>
> Frossi no longer works with Coverity/Synopsys and we would like him to be removed from this group. There doesn't seem to be a way for me (coverity-kdang) to do so.
>

We don't really have a process for that, given the collaborative development model in almost all plugins. I asked him about this on his last commit. If I don't get a response, or he's fine with it, I'll remove him. Poke me in a week (via email, or danielbeck on IRC) if I haven't acted by them.