Git repositories synchronization scripts for several servers