if a repo is indexed but the respective folder is not present
(deleted)--> delete its indexed records.