repos are not delete from disk if the gitremote is delete from repository of project #48
Description
after a gitremote type scm is created for a project, then i tried to delete the repository from the project repository settings, after that, checked the disk, the repo is still on disk (it will cause disk space wasting)