git-branch: rename config vars branch.<branch>.*, too
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Sat, 16 Dec 2006 14:15:02 +0000 (15:15 +0100)
committerJunio C Hamano <junkio@cox.net>
Sat, 16 Dec 2006 21:38:44 +0000 (13:38 -0800)
When renaming a branch, the corresponding config section should
be renamed, too.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found