Moving Files from one Git Repository to Another, Preserving History