Which operation in Databricks Repos allows a data engineer to synchronize the local version of a repository with its remote Git repository?