A simple shell script to move Git repositories from a server to another