chiark / gitweb /
Rename branch section in config when the branch is renamed
authorPavel Roskin <proski@gnu.org>
Sun, 4 Feb 2007 05:32:21 +0000 (00:32 -0500)
committerCatalin Marinas <catalin.marinas@gmail.com>
Sun, 4 Feb 2007 22:21:42 +0000 (22:21 +0000)
Signed-off-by: Pavel Roskin <proski@gnu.org>
stgit/config.py
stgit/stack.py

index 48b4e2d03aa5bebccf5f1316d1ccd6f2c53d4298..fb3893253ee6be43f2e117c2cf9257b3453e978f 100644 (file)
@@ -96,6 +96,9 @@ class GitConfig:
         else:
             raise GitConfigException, 'Value for "%s" is not an integer: "%s"' % (name, value)
 
+    def rename_section(self, from_name, to_name):
+        self.__run('git-repo-config --rename-section', [from_name, to_name])
+
     def set(self, name, value):
         self.__run('git-repo-config', [name, value])
 
index 6f0f67a568230a581181517723ca946d6ef47169..a657d27a33fc5d5170c9c431748b8a5ab794cbbb 100644 (file)
@@ -590,6 +590,10 @@ class Series(StgitObject):
             rename(os.path.join(self.__base_dir, 'refs', 'patches'),
                    self.__name, to_stack.__name)
 
+        # Rename the config section
+        config.rename_section("branch.%s" % self.__name,
+                              "branch.%s" % to_name)
+
         self.__init__(to_name)
 
     def clone(self, target_series):