mirror of
https://github.com/nodejs/node.git
synced 2024-11-28 06:28:40 +01:00
0d42470798
Sometimes we capitalize _collaborator_ and sometimes not. After consulting the Microsoft Style Guide and The Chicago Manual of Style, I've concluded it is best to not capitalize it. For consistency, apply that to our various .md files. Refs: https://docs.microsoft.com/en-us/style-guide/capitalization PR-URL: https://github.com/nodejs/node/pull/39379 Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com> Reviewed-By: Gireesh Punathil <gpunathi@in.ibm.com> Reviewed-By: Colin Ihrig <cjihrig@gmail.com> Reviewed-By: Michaël Zasso <targos@protonmail.com> Reviewed-By: Zijian Liu <lxxyxzj@gmail.com> Reviewed-By: Tobias Nießen <tniessen@tnie.de> Reviewed-By: James M Snell <jasnell@gmail.com>
727 B
727 B
Offboarding
This document is a checklist of things to do when a collaborator becomes emeritus or leaves the project.
- Remove the collaborator from the @nodejs/collaborators team.
- Open a fast-track pull request to move the collaborator to the collaborator emeriti list in README.md.
- Determine what GitHub teams the collaborator belongs to. In consultation with
the collaborator, determine which of those teams they should be removed from.
- Some teams may also require a pull request to remove the collaborator from a team listing. For example, if someone is removed from @nodejs/build, they should also be removed from the Build WG README.md file in the https://github.com/nodejs/build repository.