How do I delete a protocol in the protocols repository?