Synchronizing the repository with a remote server