Hi Junio, On Wed, 12 Feb 2020, Junio C Hamano wrote: > * 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
