Hi Robert,

Thanks for the mail. Yes, lets remove this unnecessary stress from his relatives.

For me, this request is a first, so I'm devising the plan as we go. Looking at GitLab, we seem to have the following options:

* Block user

* Delete user

* Delete user and contributions

At first, I thought we'd want to use "Delete user"; in that case, any issues and other contributions will be assigned to the system wide "Ghost User", which doesn't sound fair to his heritage. Instead, we could use "Block user", which doesn't remove the user, but the status includes "Does not receive notifications from GitLab.". The "block" status seems most appropriate in order to keep contribution and attribution in place. (I've chosen "Block user" for now, removed his mail addresses and replaced them with "null+pipping@common-lisp.net".)

I've checked /etc/passwd and /etc/aliases ; neither seem to list Elias, so removal didn't seem necessary there. There was no home directory for him on the filesystem either, so that too, didn't need removal. Last but not least, I checked for all members containing 'pipping' in their mail addresses in the mailing lists (use: find_member), but there was no membership there either.

Anything I'm forgetting?

Regards,

Erik.