From: Andy Parkins <andyparkins@gmail.com>
Date: Thu, 21 Jun 2007 13:57:28 GMT
Subject: Re: Moving a directory with history from one repository to another while renaming
Message-ID: <200706211457.29030.andyparkins@gmail.com>
In-Reply-To: <20070621130137.GB4487@coredump.intra.peff.net>

On Thursday 2007 June 21, Jeff King wrote:

> You can do this much more efficiently by just operating on the index.
> Something like:
>
> git-filter-branch --index-filter \
>  'git-ls-files -s | sed -n 's/change/paths/p' | git-update-index
> --index-info' \ directorymoved

:-D  Even better.  I am definitely in the "fan of git-filter-branch" camp.

Thanks for sharing that line; I've actually found it instructive for more than 
just git-filter-branch.  I definitely hadn't appreciated the fact that the 
index can be so easily manipulated.



Andy
-- 
Dr Andy Parkins, M Eng (hons), MIET
andyparkins@gmail.com