We have to do `workspace.with_local_workspace`, otherwise we'll try to open the settings on the remote host. Release Notes: - N/A
We have to do `workspace.with_local_workspace`, otherwise we'll try to open the settings on the remote host. Release Notes: - N/A