How can I delete the protocol in the protocol repository?