moving files from other repo to purge its git history of gigantic files