{
  "lexicon": 1,
  "id": "sh.tangled.repo.deleteBranch",
  "defs": {
    "main": {
      "type": "procedure",
      "description": "Delete a branch on this repository",
      "input": {
        "encoding": "application/json",
        "schema": {
          "type": "object",
          "required": [
            "repo",
            "branch"
          ],
          "properties": {
            "repo": {
              "type": "string",
              "format": "at-uri"
            },
            "branch": {
              "type": "string"
            }
          }
        }
      }
    }
  }
}