Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
[management] completely change the sourceId of a deleted user #2537
Completely anonymize the user. We currently keep his/her sourceId that allows to identify him/her.
we just prefix the sourceId with
In case of the config say that we have to anonymize the user on delete, we have to remove the sourceId config.