Automatic synchronization of sets of (checked-out) git repositories using DNS-SD