Is 'ghost' @github's insensitive way of referring to a deactivated user, or is the person who assigned this issue really dead?
In reply to @christianp
@github asking because I recently found out a cool person I'd had some work interactions with died suddenly a few months ago, and I don't want that to have happened again