{
  "lexicon": 1,
  "id": "sh.tangled.git.mergeCommit",
  "defs": {
    "main": {
      "type": "procedure",
      "description": "Merge a commit into repository's branch",
      "input": {
        "encoding": "application/json",
        "schema": {
          "type": "object",
          "required": ["target", "source", "style"],
          "properties": {
            "target": {
              "type": "object",
              "required": ["repo", "branch"],
              "properties": {
                "repo": {
                  "type": "string",
                  "format": "did",
                  "description": "DID of target git repository"
                },
                "branch": {
                  "type": "string",
                  "description": "Target branch to merge into"
                }
              }
            },
            "source": {
              "type": "object",
              "required": ["repo", "commit"],
              "properties": {
                "repo": {
                  "type": "string",
                  "format": "did",
                  "description": "DID of source git repository"
                },
                "commit": {
                  "type": "string",
                  "description": "Head commit ID to merge"
                }
              }
            },
            "style": {
              "type": "string",
              "enum": [
                "rebase",
                "merge",
                "rebase-merge",
                "squash-rebase",
                "squash-rebase-merge",
                "fast-forward-only"
              ]
            },
            "mergeCommit": {
              "type": "object",
              "description": "Merge commit content. Used when merge commit is created.",
              "properties": {
                "author": { "type": "ref", "ref": "sh.tangled.git.defs#signature" },
                "message": { "type": "string", "maxLength": 1000000 }
              }
            }
          }
        }
      }
    }
  }
}