Skip to content

meta: move a collaborator to emeritus#45160

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.

Sign up for GitHub

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

Jump to bottom
Merged
nodejs-github-bot merged 1 commit into from
Oct 28, 2022
Merged

meta: move a collaborator to emeritus #45160

nodejs-github-bot merged 1 commit into from
Oct 28, 2022

Conversation

@Trott
Copy link
Member

@TrottTrott commented Oct 25, 2022

This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).)

So I ran the tool manually instead.

@Trott
Copy link
MemberAuthor

Trott commented Oct 25, 2022

@PoojaDurgad

@nodejs-github-botnodejs-github-bot added the doc Issues and PRs related to the documentations. label Oct 25, 2022
@TrottTrott changed the title meta: move pon collaborator to emeritusmeta: move a collaborator to emeritusOct 25, 2022
@Trott
meta: move a collaborator to emeritus
7176d7b
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See nodejs#45022 (comment).) So I ran the tool manually instead.
@aduh95aduh95 added author ready PRs that have at least one approval, no pending requests for changes, and a CI started. commit-queue Add this label to land a pull request using GitHub Actions. labels Oct 28, 2022
@nodejs-github-botnodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Oct 28, 2022
@nodejs-github-botnodejs-github-bot merged commit 1494e05 into nodejs:mainOct 28, 2022
@nodejs-github-bot
Copy link
Collaborator

nodejs-github-bot commented Oct 28, 2022

Landed in 1494e05

@TrottTrott deleted the emeritus branch October 28, 2022 04:41
RafaelGSS pushed a commit that referenced this pull request Nov 1, 2022
@Trott@RafaelGSS
meta: move a collaborator to emeritus
cd49e49
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead. PR-URL: #45160 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Antoine du Hamel <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: James M Snell <[email protected]>
@RafaelGSSRafaelGSS mentioned this pull request Nov 1, 2022
Merged
RafaelGSS pushed a commit that referenced this pull request Nov 10, 2022
@Trott@RafaelGSS
meta: move a collaborator to emeritus
ad9a5bb
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead. PR-URL: #45160 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Antoine du Hamel <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: James M Snell <[email protected]>
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
@Trott@danielleadams
meta: move a collaborator to emeritus
ce6bdac
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead. PR-URL: #45160 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Antoine du Hamel <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: James M Snell <[email protected]>
@danielleadamsdanielleadams mentioned this pull request Dec 30, 2022
Merged
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
@Trott@danielleadams
meta: move a collaborator to emeritus
e4fa76e
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead. PR-URL: #45160 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Antoine du Hamel <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: James M Snell <[email protected]>
danielleadams pushed a commit that referenced this pull request Jan 3, 2023
@Trott@danielleadams
meta: move a collaborator to emeritus
5aa4ea9
This is usually generated by a GitHub Action, but PR-generation is currently not working for several GitHub Actions. (See #45022 (comment).) So I ran the tool manually instead. PR-URL: #45160 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Antoine du Hamel <[email protected]> Reviewed-By: Richard Lau <[email protected]> Reviewed-By: James M Snell <[email protected]>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jasnelljasnelljasnell approved these changes

@lpincalpincalpinca approved these changes

@richardlaurichardlaurichardlau approved these changes

@aduh95aduh95aduh95 approved these changes

Assignees

No one assigned

Labels

author readyPRs that have at least one approval, no pending requests for changes, and a CI started.docIssues and PRs related to the documentations.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@Trott@nodejs-github-bot@jasnell@lpinca@richardlau@aduh95