bw/remote-rename-update-config, was Re: What's cooking in git.git (Feb 2020, #03; Wed, 12)

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Feb 13, 2020, 12:26 UTC
Message-ID: <nycvar.QRO.7.76.6.2002131325580.46@tvgsbejvaqbjf.bet>
In-Reply-To: <xmqqo8u3tqly.fsf@gitster-ct.c.googlers.com>

Hi Junio,

On Wed, 12 Feb 2020, Junio C Hamano wrote:

Show 14 quoted lines

> * bw/remote-rename-update-config (2020-02-10) 6 commits
>  - remote rename/remove: gently handle remote.pushDefault config
>  - config: provide access to the current line number
>  - remote rename/remove: handle branch.<name>.pushRemote config values
>  - remote: clean-up config callback
>  - remote: clean-up by returning early to avoid one indentation
>  - pull --rebase/remote rename: document and honor single-letter abbreviations rebase types
>  (this branch uses mr/show-config-scope; is tangled with es/bugreport.)
>
>  "git remote rename X Y" needs to adjust configuration variables
>  (e.g. branch.<name>.remote) whose value used to be X to Y.
>  branch.<name>.pushRemote is now also updated.
>
>  Will merge to 'next'?

I think so, yes.

Thanks, Dscho