summaryrefslogtreecommitdiff
path: root/gitnoti.py
diff options
context:
space:
mode:
authorJon Bergli Heier <snakebite@jvnv.net>2011-05-06 14:37:51 +0200
committerJon Bergli Heier <snakebite@jvnv.net>2011-05-06 14:37:51 +0200
commita94b06b48ec7a2f6b838333182d1bed8d244d13e (patch)
tree190526052a7a30825058547d7cebb0c8fbe334f8 /gitnoti.py
parent35c828afd9aa75cd08ab5382f7a3437e346c61ce (diff)
Remove removed heads.
Diffstat (limited to 'gitnoti.py')
-rwxr-xr-xgitnoti.py1
1 files changed, 1 insertions, 0 deletions
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))