update-workspace: reset the repository to the remote head