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

[Mike Gerwitz <mtg@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 679 bytes --]

On Sat, Nov 14, 2015 at 11:20:27 +0000, Alan Mackenzie wrote:
> So, is there any convenient way of duplicating a repo (using hard links,
> and preserving config info)?

Each branch has its own tracking branch (upstream).  So you can just
branch off of emacs-25, and either keep that local copy, or set the
upstream to your own remote repository:

  $ git checkout emacs-25
  $ git checkout -b foo
  $ git remote add my-origin path/to/remote/repo
  $ git push --set-upstream my-origin foo

This is as close to a hard-copy as you'll get.


-- 
MIKE Gerwitz
Free Software Hacker | GNU Maintainer
http://mikegerwitz.com
FSF Member #5804 | GPG Key ID: 0x8EE30EAB

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 818 bytes --]