From 7b5ff7ebcf433777e1418c0ab0e4ab26ce3a1e63 Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Tue, 5 Jun 2012 11:55:51 +0200
Subject: [PATCH] delete repository from index when deleting it

---
 src/phorkie/Repository.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/phorkie/Repository.php b/src/phorkie/Repository.php
index a57239e..3c2da64 100644
--- 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);
     }
-- 
2.30.2