From: jfbu <jfbu@free.fr>
Date: Tue, 22 Jan 2019 12:52:00 GMT
Subject: pushRemote value not updated on git remote rename
Message-ID: <22150621-8374-4D95-82E5-8312CA6E88F3@free.fr>

Hi, 

with git version 2.16.3 on mac os x, (fink installed)
I did

```
$ git remote rename origin monfork
```

Then I checked .git/config, all was fine but for

```
[branch "master"]
	pushRemote = origin
	remote = upstream
	merge = refs/heads/master
```

Shouldn't "origin" have been changed into "monfork" ?

Apologies if this is due to outdated git, did not check,

Best,

Jean-François