From 34cca18b04dd38db4888120f58e8fa816ddef9b2 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 29 2017 16:40:28 +0000
Subject: When deleting a comment, refresh the ticket git repo


Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

---

diff --git a/pagure/ui/issues.py b/pagure/ui/issues.py
index 76033a6..34954de 100644
--- a/pagure/ui/issues.py
+++ b/pagure/ui/issues.py
@@ -131,6 +131,10 @@ def update_issue(repo, issueid, username=None, namespace=None):
             issue.last_updated = datetime.datetime.utcnow()
             SESSION.add(issue)
             SESSION.delete(comment)
+            pagure.lib.git.update_git(
+                issue,
+                repo=issue.project,
+                repofolder=APP.config['TICKETS_FOLDER'])
             try:
                 SESSION.commit()
                 if not is_js: