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

[Andrey Borzenkov <arvidjaar@xxxxxxxxx>]

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 = git@xxxxxxxxxx: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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html