Skip to content

Conversation

@christianscott
Copy link

reopening #7860

cloning currently fails with Error: Git remote named '$remote' already exists if the user has some config somewhere that applies to $remote, e.g. in ~/.gitconfig. this error makes sense if you are trying to add a remote that already exists in the local config, but doesn't make sense while cloning since there must not be a local config

this PR fixes the bug by only looking for configuration that originated from the local .git/config file

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added/updated tests to cover my changes

…ding/renaming

cloning currently fails with Error: Git remote named '$remote' already exists if the user has some config somewhere that applies to $remote, e.g. in ~/.gitconfig. this error makes sense if you are trying to add a remote that already exists in the local config, but doesn't make sense while cloning since there must not be a local config

this PR fixes the bug by only looking for configuration that originated from the local .git/config file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant