Thanks to the excellent trick here : http://gbayer.com/development/moving-files-from-one-git-repository-to-another-preserving-history/