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

From: Andrey Borzenkov <arvidjaar@gmail.com>
Date: Jan 22, 2013, 12:43 UTC
Message-ID: <20130122164306.3dc8b757@opensuse.site>

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@github.com: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