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

meta: move a collaborator to emeritus #45160

Merged
merged 1 commit into from
Oct 28, 2022
Merged

Conversation

Trott
Copy link
Member

@Trott Trott 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
Member Author

Trott commented Oct 25, 2022

@PoojaDurgad

@nodejs-github-bot nodejs-github-bot added the doc Issues and PRs related to the documentations. label Oct 25, 2022
@Trott Trott changed the title meta: move pon collaborator to emeritus meta: move a collaborator to emeritus Oct 25, 2022
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.
@aduh95 aduh95 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-bot nodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Oct 28, 2022
@nodejs-github-bot nodejs-github-bot merged commit 1494e05 into nodejs:main Oct 28, 2022
@nodejs-github-bot
Copy link
Collaborator

Landed in 1494e05

@Trott Trott deleted the emeritus branch October 28, 2022 04:41
RafaelGSS pushed a commit that referenced this pull request Nov 1, 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.

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]>
@RafaelGSS RafaelGSS mentioned this pull request Nov 1, 2022
RafaelGSS pushed a commit that referenced this pull request Nov 10, 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.

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
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
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
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 free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
author ready PRs that have at least one approval, no pending requests for changes, and a CI started. doc Issues and PRs related to the documentations.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants