88830c4 Log when deleting a git repo

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