Re: merge two local mirrors with detached heads and similar remotes

From: Zenaan Harkness <zen@freedbms.net>
Date: Nov 7, 2010, 09:42 UTC
Message-ID: <AANLkTin5GOGO3sf7kTjOz8X-rfiFTW6rTD5cO6w4p2yA@mail.gmail.com>
In-Reply-To: <AANLkTi=JmpXEiEe-7-ZicUp-QosWjTZQgK77-f=9iAtL@mail.gmail.com>

Show 17 quoted lines

> In A) I modified .git/config to be as follows:
> $ cat .git/config
> [core]
>        repositoryformatversion = 0
>        filemode = true
>        bare = false
>        logallrefupdates = true
> [remote "origin"]
>        fetch = +refs/heads/*:refs/remotes/origin/*
>        url = https://github.com/chad/gitjour.git
> [branch "master"]
>        remote = origin
>        merge = refs/heads/master
> [remote "lach"]
>        url = ../u
> #       fetch = +refs/heads/*:refs/remotes/origin/*
>        fetch = +refs/remotes/origin/*:refs/remotes/lach/*

My final change, for reference, was updating [remote "latch"] section with:
   url = https://github.com/lachlanhardy/gitjour.git
   fetch = +refs/heads/*:refs/remotes/lach/*

Appears to work with git fetch --all and finally followed by git gc