Merge pull request #10579 from gibfahn/default_remote_name_tap

fix(tap): set clone remote name to origin explicitly
This commit is contained in:
Mike McQuaid 2021-02-09 16:09:12 +00:00 committed by GitHub
commit 59dd425f43
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -296,6 +296,10 @@ class Tap
$stderr.ohai "Tapping #{name}" unless quiet
args = %W[clone #{requested_remote} #{path}]
# Override possible user configs like:
# git config --global clone.defaultRemoteName notorigin
args << "--origin=origin"
args << "--depth=1" unless full_clone
args << "-q" if quiet