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.

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

meta: move one or more collaborators to emeritus #53758

Merged
merged 1 commit into from
Jul 10, 2024
Merged

meta: move one or more collaborators to emeritus #53758

merged 1 commit into from
Jul 10, 2024

Conversation

nodejs-github-bot
Copy link
Collaborator

This PR was generated by the find-inactive-collaborators.yml workflow.

@nodejs/tsc Please follow up with the offboarding tasks.
@nodejs-github-bot nodejs-github-bot added meta Issues and PRs related to the general management of the project. doc Issues and PRs related to the documentations. labels Jul 8, 2024
@aduh95
Copy link
Contributor

aduh95 commented Jul 8, 2024

/cc @Mesteery FYI
@mcollina mcollina added the commit-queue Add this label to land a pull request using GitHub Actions. label Jul 8, 2024
mcollina
mcollina approved these changes Jul 8, 2024
View reviewed changes
Copy link
Member

@mcollina mcollina left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm
@RedYetiDev RedYetiDev added the author ready PRs that have at least one approval, no pending requests for changes, and a CI started. label Jul 9, 2024
@RedYetiDev
Copy link
Member

(author ready w/ commit-queue)
mhdawson
mhdawson approved these changes Jul 9, 2024
View reviewed changes
Copy link
Member

@mhdawson mhdawson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM
@nodejs-github-bot nodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Jul 10, 2024
@nodejs-github-bot nodejs-github-bot merged commit e849dd6 into main Jul 10, 2024
25 checks passed
@nodejs-github-bot
Copy link
Collaborator Author

Landed in e849dd6
@nodejs-github-bot nodejs-github-bot deleted the actions/inactive-collaborators branch July 10, 2024 04:13
aduh95 pushed a commit that referenced this pull request Jul 12, 2024
@nodejs-github-bot @aduh95
meta: move one or more collaborators to emeritus
2ac3743 
PR-URL: #53758
Reviewed-By: Tobias Nießen <tniessen@tnie.de>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>
Reviewed-By: Ulises Gascón <ulisesgascongonzalez@gmail.com>
Reviewed-By: Matteo Collina <matteo.collina@gmail.com>
Reviewed-By: Rafael Gonzaga <rafael.nunu@hotmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
@aduh95 aduh95 mentioned this pull request Jul 12, 2024
Merged
@Trott Trott mentioned this pull request Jul 15, 2024
Merged
aduh95 pushed a commit that referenced this pull request Jul 16, 2024
@nodejs-github-bot @aduh95
meta: move one or more collaborators to emeritus
c68d873 
PR-URL: #53758
Reviewed-By: Tobias Nießen <tniessen@tnie.de>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>
Reviewed-By: Ulises Gascón <ulisesgascongonzalez@gmail.com>
Reviewed-By: Matteo Collina <matteo.collina@gmail.com>
Reviewed-By: Rafael Gonzaga <rafael.nunu@hotmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
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. meta Issues and PRs related to the general management of the project.