Re: Switching from old git tree

[Peder O. Klingenberg]

On Fri, Nov 14 2014 at 13:35, Sven Axelsson wrote:

> On 14 November 2014 13:20, David Kastrup <address@hidden> wrote:
>
>> Using git format-patch and git am, rather than git diff and git apply.
>
> I suppose you could add your old repo as a local remote to the new one, and
> cherry-pick your commits, i.e.:

Thanks, both of you.

...Peder...
-- 
I wish a new life awaited _me_ in some off-world colony.