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 -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/320d722f-6c28-4540-87be-3b0bef107761%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
