# # git-synchro configuration file # # format: # repo-nickname; server-nickname; repo-remote; repo-url; directory #