Docs feedback: Deleting a User Account
So, I get that some "associated records" are retained. But you say that those records are associated with a "ghost user". Does that mean you display "Ghost User" as the name of the user that made those contributions? Or do you display something like "(Deleted user)"? Or do you maintain, at least, the original user's display name?
https://docs.gitlab.com/ee/user/profile/account/delete_account.html#associated-records
Take a commit, for example, what ends up showing up here after deleting?
Edited by Ghost User