A tool to facilitate migration between different git repositories