On Sat, 01 Apr 2017 03:01:04 +0200 Ricardo Band <email@xxxxxxxxxxxx> wrote: > I think this is a bug. When gitolite is uninstalled it should also > remove the gitolite user. No, it shouldn't. A deleted user presents a security issue, since the package has no way of knowing if there's any files/dirs left owned by that user. Short version here, you deleted the user's home dir manually and left the user. That's not a packaging problem.
