delete repository from index when deleting it

diff --git a/src/phorkie/Repository.php b/src/phorkie/Repository.php
index a57239ef8097c1f014c1e880e41d593260694702..3c2da644c2db1abae62bc6b03a4ac03f3ca339d5 100644 (file)
--- a/src/phorkie/Repository.php
+++ b/src/phorkie/Repository.php
@@ -176,6 +176,9 @@ class Repository
      */
     public function delete()
     {
+        $db = new Database();
+        $db->getIndexer()->deleteRepo($this);
+
         return Tools::recursiveDelete($this->workDir)
             && Tools::recursiveDelete($this->gitDir);
     }