{
  "$type": "com.atproto.lexicon.schema",
  "defs": {
    "main": {
      "description": "Delete a repository",
      "input": {
        "encoding": "application/json",
        "schema": {
          "properties": {
            "force": {
              "description": "Skip the check for a declaration record on the owner's PDS. Knot admins only.",
              "type": "boolean"
            },
            "repo": {
              "format": "did",
              "type": "string"
            }
          },
          "required": [
            "repo"
          ],
          "type": "object"
        }
      },
      "type": "procedure"
    }
  },
  "id": "org.tangled.repo.deleteRepo",
  "lexicon": 1
}