0c7b30 When deleting a project/fork, clean the git repos on the filesystem as well

Authored and Committed by Pierre-Yves Chibon 10 years ago
    When deleting a project/fork, clean the git repos on the filesystem as well
    
        
file modified
+11 -0