Re: Git question. Is there a way of duplicating a git repository?

[David Kastrup]

Alan Mackenzie <address@hidden> writes:

> Hello, John.
>
> On Sat, Nov 14, 2015 at 10:17:33AM -0800, John Wiegley wrote:
>> >>>>> Alan Mackenzie <address@hidden> writes:
>
>> > So, is there any convenient way of duplicating a repo (using hard links, 
>> > and
>> > preserving config info)?
>
>> A clone on the same device uses hard-links by default.
>
> But what git calls a "clone" is not a duplicate repo.  It is radically
> different from the original.  In particular, the new repo's "remote
> origin" is set to the original repo; I want it to duplicate what the
> original repo had set.

git clone --mirror

Curiously, this implies --bare but you can just edit the config file
afterwards and remove the `bare' setting.

-- 
David Kastrup