Small shell scripts to ease working with multiple git repositories