[git] Synchronizing a local Git repository with a remote one