Re: Obscure error/warning/information message from git pull

[Eli Zaretskii]

> From: David Kastrup <address@hidden>
> Date: Sun, 16 Nov 2014 10:23:23 +0100
> 
> > "git clone" makes a partial copy of a repository.  It does not
> > duplicate it.  "Clone", as a verb, means "duplicate"; it never means
> > "truncate".
> 
> If you do not want the upstream of the clone to be the original, then
> use
> 
> git clone --mirror

But that implies --bare, which means no working tree, right?  So I
think this is not what Alan wants.