From 80842ec763ec42603702d1fc2bfcd9865465bbc4 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Feb 13 2015 16:28:57 +0000
Subject: Remove the git repo of the tickets when removing an entire project


---

diff --git a/progit/ui/repo.py b/progit/ui/repo.py
index fae9cb5..7f30c95 100644
--- a/progit/ui/repo.py
+++ b/progit/ui/repo.py
@@ -689,10 +689,12 @@ def delete_repo(repo, username=None):
     if repo.is_fork:
         repopath = os.path.join(APP.config['FORK_FOLDER'], repo.path)
     docpath = os.path.join(APP.config['DOCS_FOLDER'], repo.path)
+    ticketpath = os.path.join(APP.config['TICKETS_FOLDER'], repo.path)
 
     try:
         shutil.rmtree(repopath)
         shutil.rmtree(docpath)
+        shutil.rmtree(ticketpath)
         SESSION.commit()
     except (OSError, IOError), err:
         APP.logger.exception(err)