[StGIT PATCH] Remove obsolete files when deleting a branch
From: Karl Hasselström <hidden>
Date: 2016-06-15 22:43:10
Subsystem:
the rest · Maintainer:
Linus Torvalds
Signed-off-by: Karl Hasselström <redacted> --- stgit/stack.py | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/stgit/stack.py b/stgit/stack.py
index 52f39a6..4ed3a73 100644
--- a/stgit/stack.py
+++ b/stgit/stack.py@@ -660,6 +660,16 @@ class Series(StgitObject): if os.path.exists(self._dir()+'/orig-base'): os.remove(self._dir()+'/orig-base') + # Remove obsolete files that StGIT no longer uses, but + # that might still be around if this is an old repository. + for obsolete in ([os.path.join(self._dir(), fn) + for fn in ['current', 'description', + 'applied', 'unapplied']] + + [os.path.join(self.__base_dir, + 'refs', 'bases', self.__name)]): + if os.path.exists(obsolete): + os.remove(obsolete) + if not os.listdir(self.__patch_dir): os.rmdir(self.__patch_dir) else: