Users that have been either committer or project-lead will never be removed from the GitHub org again
If users that have been invited to the GitHub organization of an Eclipse project are resigning or being removed as committer / project-lead, their membership status for the GitHub organization is unaffected, meaning they are not removed from the organization as member.
An example of that can be seen in the eclipse-cbi org:
- there are various historical committers (e.g. Christopher Guindon, Dennis Huebner, ...) that are still member of the organization
- they have been correctly removed from the committers team
Contrary to external collaborators that are explicitly removed from the organization once they are not configured like that in the PMI, users that have once been committers will remain in the org. This is relevant if the user is also member of other teams that are not managed by the sync script, thus would retain whatever permissions would be granted to them in custom team that are setup for other purposes.
We would like to discuss if this behavior is desirable or should be changed. Something that could make sense imho:
- if a user is not part of the committers / project-leads group, he/she should be considered as an external contributor. If the user not configured like that in the PMI he/she will finally removed from the org (and thus also from any team the user might be still a member of).
cc @mbarbero