https://mamchenkov.net/wordpress/2017/02/27/moving-files-with-commit-history-from-one-git-repository-to-another/