[arch-general] Removing gitolite package doesn't remove gitolite user

[Doug Newgard]

On Sat, 01 Apr 2017 03:01:04 +0200
Ricardo Band <email at ricardo.band> 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.