Bash script for maintain several sets of git repositories on different devices