binderhub.jupyter.org/launch event v2
{
"$id": "binderhub.jupyter.org/launch",
- "version": 1,
+ "version": 2,
"title": "BinderHub Launch Events",
"description": "BinderHub emits this event whenever a new repo is launched",
"type": "object",
