pushRemote value not updated on git remote rename

From: jfbu <jfbu@free.fr>
Date: Jan 22, 2019, 12:52 UTC
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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.