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

doc: move Arunesh and Taylor to Emeritus #540

Merged
merged 1 commit into from
Oct 3, 2019

Conversation

mhdawson
Copy link
Member

Based on activity believe it might be time to move
to Emeritus.

@aruneshchandra @boingoing Thinking it might be time to move you two to emeritus based on you being pulled on other priorities.

Let me know if that makes sense or not. I've left @digitalinfinity as the MS rep whoes continuing to work on N-API/node-addon-api.

Based on activity believe it might be time to move
to Emeritus.
@mhdawson mhdawson merged commit dd9fa8a into nodejs:master Oct 3, 2019
kevindavies8 added a commit to kevindavies8/node-addon-api-Develop that referenced this pull request Aug 24, 2022
Based on activity believe it might be time to move
to Emeritus.

PR-URL: nodejs/node-addon-api#540

Reviewed-By: NickNaso <nicoladelgobbo@gmail.com>
Reviewed-By: Gabriel Schulhof <gabriel.schulhof@intel.com>
Marlyfleitas added a commit to Marlyfleitas/node-api-addon-Development that referenced this pull request Aug 26, 2022
Based on activity believe it might be time to move
to Emeritus.

PR-URL: nodejs/node-addon-api#540

Reviewed-By: NickNaso <nicoladelgobbo@gmail.com>
Reviewed-By: Gabriel Schulhof <gabriel.schulhof@intel.com>
wroy7860 added a commit to wroy7860/addon-api-benchmark-node that referenced this pull request Sep 19, 2022
Based on activity believe it might be time to move
to Emeritus.

PR-URL: nodejs/node-addon-api#540

Reviewed-By: NickNaso <nicoladelgobbo@gmail.com>
Reviewed-By: Gabriel Schulhof <gabriel.schulhof@intel.com>
austinli64 added a commit to austinli64/node-addon-api that referenced this pull request May 9, 2023
Based on activity believe it might be time to move
to Emeritus.

PR-URL: nodejs/node-addon-api#540

Reviewed-By: NickNaso <nicoladelgobbo@gmail.com>
Reviewed-By: Gabriel Schulhof <gabriel.schulhof@intel.com>
johnfrench3 pushed a commit to johnfrench3/node-addon-api-git that referenced this pull request Aug 11, 2023
Based on activity believe it might be time to move
to Emeritus.

PR-URL: nodejs/node-addon-api#540

Reviewed-By: NickNaso <nicoladelgobbo@gmail.com>
Reviewed-By: Gabriel Schulhof <gabriel.schulhof@intel.com>
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

Successfully merging this pull request may close these issues.

None yet

3 participants