forked from w3c/github-notify-ml-config
-
Notifications
You must be signed in to change notification settings - Fork 0
/
config.schema
89 lines (89 loc) · 3.43 KB
/
config.schema
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
{
"$schema": "http://json-schema.org/schema#",
"definitions": {
"repolist": {
"type": "array", "items": { "$ref": "#/definitions/repo" }, "uniqueItems": true },
"digest": {
"type": "object",
"properties": {
"topic": {"type": "string"},
"repos": { "$ref": "#/definitions/repolist"},
"repoList": { "type": "string", "format": "uri"},
"eventFilter": { "$ref": "#/definitions/eventfilter" },
"sources": {
"type": "array",
"items": {
"type": "object",
"properties": {
"repos": { "$ref": "#/definitions/repolist" },
"eventFilter": { "$ref": "#/definitions/eventfilter" }
},
"required": ["repos"]
}
}
},
"additionalProperties": false,
"oneOf": [
{ "anyOf": [ { "required": ["repos"] }, { "required": ["repoList"] } ] },
{ "required": ["sources"] }
]
},
"eventfilter": {
"type": "object",
"properties": {
"label": {"type": "array", "items": { "type": "string"} },
"notlabel": {"type": "array", "items": { "type": "string"} }
},
"additionalProperties": false
},
"repo": {
"type": "string",
"pattern": "^([^/]+)/([^/]+)$"
}
},
"type": "object",
"patternProperties": {
"@": {
"type": "object",
"patternProperties": {
"^(regexp:)?([^:/]*)/([^/]*)": {
"type": "object",
"properties": {
"events": {
"type": "array",
"items": {
"type": "string",
"pattern": "^issues\\.opened|issues\\.closed|issue_comment\\.created|pull_request\\.opened|pull_request\\.closed|pull_request\\.labeled|issues\\.labeled|push|repository\\.created|repository\\.transferred|repository\\.deleted$"
}
},
"branches": {
"type": "object",
"patternProperties": {
".*": {
"type": "array",
"items": {
"type": "string",
"pattern": "^push$"
}
}
}
},
"eventFilter": { "$ref": "#/definitions/eventfilter" }
},
"additionalProperties": false
},
"^http://www.w3.org/TR/": {
"type": "object"
},
"^(digest|summary):(daily|monday|tuesday|wednesday|thursday|friday|saturday|sunday|quarterly|monthly)$": {
"anyOf": [
{ "$ref": "#/definitions/digest" },
{ "type": "array", "items": { "$ref": "#/definitions/digest" } }
]
}
},
"additionalProperties": false
}
},
"additionalProperties": false
}