a simple bash script to synchronize two git repositories