A small tool to migrate from one Git repo to another Git repo