How to move lots of separate repositories into one repo while keeping everything in order