spice-server is an empty repository, delete it.