def delete()

in tools/registry.py [0:0]


  def delete(self, module_name, version):
    """Delete an existing module version."""
    p = self.root.joinpath("modules", module_name)
    shutil.rmtree(p.joinpath(version))
    metadata_path = p.joinpath("metadata.json")
    metadata = json.load(metadata_path.open())
    if version in metadata["versions"]:
      metadata["versions"].remove(version)
    json_dump(metadata_path, metadata)