Question: How to move some files from one git repo to another (not a clone), preserving history