Fixed: When deleting a project, the repo dir would not be deleted