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

"Harald Nordgren via GitGitGadget" <[email protected]> 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.