rafaelgou/gitolite-php — pull request #4 by feldsam (2013-06-04 10:05:38+00:00)
Title: User deleting and renaming fix

This fixes pub keys removing when user was deleted or renamed.

Signed-off-by: Kristián Feldsam