chiark / gitweb /
~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdea385) | patch
Properly remove all config for a deleted branch
authorKarl Hasselström <kha@treskal.com>
Sat, 22 Sep 2007 08:22:18 +0000 (10:22 +0200)
committerKarl Hasselström <kha@treskal.com>
Sat, 22 Sep 2007 08:40:23 +0000 (10:40 +0200)
commit9a6bcbe26b6032c39031773da020fd7bf4015953
tree9190f63b27661ab42a9ebe90bdc80aa7033b2ffctree | snapshot
parentbdea385bce305482d3c3b8ab7fb019e7acf4a521commit | diff
Properly remove all config for a deleted branch

This uses "git-config --remove-section", which was first released in
git 1.5.1-rc1. I'm not sure if this is later than what we used to
depend on; we already use "git-config --rename-section", but that's
been in since git 1.5.0-rc0.

Signed-off-by: Karl Hasselström <kha@treskal.com>
stgit/config.py diff | blob | blame | history
stgit/stack.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)