Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove RaisinTen from Coverity #3608

Closed
aduh95 opened this issue Jan 12, 2024 · 2 comments
Closed

Remove RaisinTen from Coverity #3608

aduh95 opened this issue Jan 12, 2024 · 2 comments

Comments

@aduh95
Copy link
Contributor

aduh95 commented Jan 12, 2024

There's a step in the Offboarding asking to open such issue everytime a collaborator is offboarded. Not sure if it's still required, but here I am creating the issue.

Open an issue in the nodejs/build repository titled Remove Collaborator from Coverity asking that the collaborator be removed from the Node.js coverity project if they had access.

Refs: nodejs/node#51411

@targos
Copy link
Member

targos commented Jan 12, 2024

I'm not sure what this is but you're probably supposed to replace "Collaborator" with the actual name of the offboarded collaborator.

@aduh95 aduh95 changed the title Remove Collaborator from Coverity Remove RaisinTen from Coverity Jan 12, 2024
@richardlau
Copy link
Member

I don't think they had access, based on the current members list: https://scan.coverity.com/projects/node-js?tab=members
(Or someone has already removed them.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants