From a94b06b48ec7a2f6b838333182d1bed8d244d13e Mon Sep 17 00:00:00 2001 From: Jon Bergli Heier Date: Fri, 6 May 2011 14:37:51 +0200 Subject: Remove removed heads. --- gitnoti.py | 1 + 1 file changed, 1 insertion(+) diff --git a/gitnoti.py b/gitnoti.py index a8071c4..419587b 100755 --- a/gitnoti.py +++ b/gitnoti.py @@ -72,6 +72,7 @@ class NotifyRepo(object): newheads = set([h.name for h in self.repo.heads]) removed_heads = oldheads.difference(newheads) for h in removed_heads: + del self.heads[h] self.bot.gitmsg('Branch \002%s\002 from repo \002%s\002 was deleted.' % (h, reponame)) -- cgit v1.2.3