Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (25 sloc) 765 Bytes
{
"$id": "binderhub.jupyter.org/launch",
"version": 1,
"title": "BinderHub Launch Events",
"description": "BinderHub emits this event whenever a new repo is launched",
"type": "object",
"properties": {
"provider": {
"enum": [
"GitHub",
"GitLab",
"Git"
],
"description": "Provider for the repository being launched"
},
"spec": {
"type": "string",
"description": "Provider specification for the repo being launched. Usually, <reponame>/<commit-specification>"
},
"status": {
"enum": ["success", "failure"],
"description": "Success/Failure of the launch"
}
}
}