pub async fn sync(workspace: &Workspace) -> Result<()>