Delete repo modal should ask if you want to delete all the files associated with the project from disk, and if so, really do #360