veryroundbird.house
1{
2 "lexicon": 1,
3 "id": "sh.tangled.repo.merge",
4 "defs": {
5 "main": {
6 "type": "procedure",
7 "description": "Merge a patch into a repository branch",
8 "input": {
9 "encoding": "application/json",
10 "schema": {
11 "type": "object",
12 "required": ["did", "name", "patch", "branch"],
13 "properties": {
14 "did": {
15 "type": "string",
16 "format": "did",
17 "description": "DID of the repository owner"
18 },
19 "name": {
20 "type": "string",
21 "description": "Name of the repository"
22 },
23 "patch": {
24 "type": "string",
25 "description": "Patch content to merge"
26 },
27 "branch": {
28 "type": "string",
29 "description": "Target branch to merge into"
30 },
31 "authorName": {
32 "type": "string",
33 "description": "Author name for the merge commit"
34 },
35 "authorEmail": {
36 "type": "string",
37 "description": "Author email for the merge commit"
38 },
39 "commitBody": {
40 "type": "string",
41 "description": "Additional commit message body"
42 },
43 "commitMessage": {
44 "type": "string",
45 "description": "Merge commit message"
46 }
47 }
48 }
49 }
50 }
51 }
52}