diff git_handler.py @ 212:174954c187e0

fix pushing tags to git (see issue 3 bb)
author Abderrahim Kitouni <a.kitouni@gmail.com>
date Tue, 07 Jul 2009 11:46:19 +0100 (2009-07-07)
parents 9a27c618d0ed
children 61471faeb7fd
line wrap: on
line diff
--- a/git_handler.py
+++ b/git_handler.py
@@ -83,7 +83,8 @@
     def save_tags(self):
         file = self.repo.opener(self.tagsfile, 'w+', atomictemp=True)
         for name, sha in sorted(self.tags.iteritems()):
-            file.write("%s %s\n" % (sha, name))
+            if not self.repo.tagtype(name) == 'global':
+                file.write("%s %s\n" % (sha, name))
         file.rename()
 
     ## END FILE LOAD AND SAVE METHODS
@@ -691,6 +692,7 @@
         for tag, sha in self.repo.tags().iteritems():
             if self.repo.tagtype(tag) in ('global', 'git'):
                 self.git.set_ref('refs/tags/' + tag, self.map_git_get(hex(sha)))
+                self.tags[tag] = hex(sha)
 
     def local_heads(self):
         try: