Multi-robot map merging through git server (storage repository) (cloud service)