88830c Log when deleting a git repo

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Log when deleting a git repo
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+4 -0