a simple script I use privately to manage multiple git repositories