Yes, we also talked about git clone --depth in the 'Shallow git clones as an option to a split repository' thread.
Seems to me the repository problem has been fixed. A fully migrated git repository is at a manageable size: 800MB or so. People could also use git clone --depth or a non-authoritative repository (which doesn't even have to be ours) which needs git replace. --emi On Tue, Nov 29, 2016 at 6:56 PM, Paul Merlin <[email protected]> wrote: > Emilian Bold a écrit : > > Git Replace does sound nice, so we should also provide a > non-authoritative > > repository with a minimal history for casual or bandwidth limited > > contributors. > > git clone --depth allows "casual or bandwith limited contributors" to > clone only a part of the history from a remote repository > >
