https://wp.jochen.hayek.name/blog-en/2017/11/10/how-to-move-files-from-one-git-repo-to-another-not-a-clone-preserving-history/
how to move files from one git repo to another (not a clone), preserving history