Subject: branch name in remote.<remote>.push is not updated after "git branch -m"

From: Andrey Borzenkov <[email-masked]>
Date: Tue, 22 Jan 2013 16:43:06 +0400

I renamed branches and noticed that branch name was not changed in
remote push config. I.e. after

bor@opensuse:~/src/bootinfoscript> git branch -m github master

I still have

[remote "github"]
        push = github:master
        url = git://github.com/arvidjaar/bootinfoscript.git
        pushurl = [email-masked]:arvidjaar/bootinfoscript.git
        fetch = +refs/heads/*:refs/remotes/github/*

Is it expected behavior or possibly already fixed?

bor@opensuse:~> git --version
git version 1.7.10.4

TIA

-andrey