Git: Move files from one repo to another with history (2021)