path: root/Documentation
diff options
authorBert Wesarg <>2020-02-01 09:34:09 (GMT)
committerJunio C Hamano <>2020-02-10 18:52:10 (GMT)
commitb3fd6cbf29435f8b49a0a5d9f86236e00b084624 (patch)
tree552b7f9bb784f8b0991126e93789a82393732c5a /Documentation
parentf2a2327a4a6a9bccade6df2bed1fdc3a8ab37f4c (diff)
remote rename/remove: gently handle remote.pushDefault config
When renaming a remote with git remote rename X Y git remote remove X Git already renames or removes any branch.<name>.remote and branch.<name>.pushRemote configurations if their value is X. However remote.pushDefault needs a more gentle approach, as this may be set in a non-repo configuration file. In such a case only a warning is printed, such as: warning: The global configuration remote.pushDefault in: $HOME/.gitconfig:35 now names the non-existent remote origin It is changed to remote.pushDefault = Y or removed when set in a repo configuration though. Signed-off-by: Bert Wesarg <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions