1 Apr
2017
1 Apr
'17
1:37 a.m.
On Sat, 01 Apr 2017 03:01:04 +0200 Ricardo Band <email@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.