Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Windows: prefer git cloning registries (close #2014) #2175

Merged
merged 1 commit into from Oct 29, 2020
Merged

Windows: prefer git cloning registries (close #2014) #2175

merged 1 commit into from Oct 29, 2020

Commits on Oct 29, 2020

  1. Windows: prefer git cloning registries (close #2014) 

    Since untarring a tarball like the registry is so slow on Windows,
we prefer to git clone registries instead. Git is slow on Windows
as well, but git updates are faster since git only updates the
files that need to be modified, which is much faster than unpacking
a whole new registry.
    @StefanKarpinski
    StefanKarpinski committed Oct 29, 2020
    Copy the full SHA
    5147124 View commit details
    Browse the repository at this point in the history