diff options
author | Jon Bergli Heier <snakebite@jvnv.net> | 2011-05-06 14:37:51 +0200 |
---|---|---|
committer | Jon Bergli Heier <snakebite@jvnv.net> | 2011-05-06 14:37:51 +0200 |
commit | a94b06b48ec7a2f6b838333182d1bed8d244d13e (patch) | |
tree | 190526052a7a30825058547d7cebb0c8fbe334f8 | |
parent | 35c828afd9aa75cd08ab5382f7a3437e346c61ce (diff) |
Remove removed heads.
-rwxr-xr-x | gitnoti.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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)) |