changeset 155:6db38267e2e8

make the export branch customizable
author Sverre Rabbelier <sverre@rabbelier.nl>
date Tue, 26 May 2009 20:53:24 +0200
parents 845039d8d90a
children a507384308b2
files git_handler.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/git_handler.py	Tue May 26 11:20:52 2009 -0700
+++ b/git_handler.py	Tue May 26 20:53:24 2009 +0200
@@ -58,6 +58,7 @@
             self.gitdir = self.repo.join('git')
 
         self.importbranch = ui.config('git', 'importbranch')
+        self.exportbranch = ui.config('git', 'exportbranch', 'refs/heads/master')
 
         self.init_if_missing()
         self.load_git()
@@ -184,7 +185,7 @@
             pass
 
         c = self.map_git_get(hex(self.repo.changelog.tip()))
-        self.git.set_ref('refs/heads/master', c)
+        self.git.set_ref(self.exportbranch, c)
 
     # Make sure there's a refs/remotes/remote_name/name
     #           for every refs/heads/name