Re: [PATCH v4 0/2] remote: url-based pushRemote with renamed remotes

"Harald Nordgren via GitGitGadget" [off-list ref] writes:

Fix git status not showing the push branch after remotes are renamed, when
branch.<name>.pushRemote is a URL matching exactly one configured remote.

Changes in v4:

 * Match configured remotes by effective push URL, preferring pushurl over
   url.
 * Update the documentation and rationale to describe where the remote would
   push.

My cursory review did not spot anything obviously wrong anymore.

As it somehow seems to be a slow week, I do not expect to see many
eyeballs from others helping to review the topics in flight as
quickly as we would have liked to move them forward, though.

Thanks.