From: Johannes Schindelin Date: Mon, 20 Jan 2020 11:25:25 GMT Subject: Re: [PATCH v2] remote rename: rename branch..pushRemote config values too Message-ID: In-Reply-To: Hi Bert, On Fri, 17 Jan 2020, Bert Wesarg wrote: > On Fri, Jan 17, 2020 at 2:30 PM Johannes Schindelin > wrote: > > > > On Fri, 17 Jan 2020, Bert Wesarg wrote: > > > > > On Fri, Jan 17, 2020 at 12:50 PM Johannes Schindelin > > > wrote: > > > > > > > > On Fri, 17 Jan 2020, Bert Wesarg wrote: > > > > > > > > > When renaming a remote with > > > > > > > > > > git remote rename X Y > > > > > > > > > > Git already renames any config values from > > > > > > > > > > branch..remote = X > > > > > > > > > > to > > > > > > > > > > branch..remote = Y > > > > > > > > > > As branch..pushRemote also names a remote, it now also renames > > > > > these config values from > > > > > > > > > > branch..pushRemote = X > > > > > > > > > > to > > > > > > > > > > branch..pushRemote = Y > > > > > > > > Should we warn if remote.pushDefault = X? > > > > > > AFAIU, the value of remote.pushDefault wont be renamed yet. So you > > > suggest to issue a warning in case remote.pushDefault is X. But as X > > > does not exists anymore after the rename, the value of > > > remote.pushDefault is invalid. So why not rename it too? > > > > If this setting was usually a repository-specific one, I would suggest to > > change its value, too. But it is my understanding that this might be set > > in `~/.gitconfig` more often than not, so I recommend a warning instead. > > than why not rename it, if its a repository-specific setting and warn > if it is a global one? If this is detectable at all. Sure, but you might need to re-parse the config to detect that (and you have to use `git_config_from_file()` to make sure that you know that you are looking at the repository config and not at anything else). Ciao, Dscho