-
-
Notifications
You must be signed in to change notification settings - Fork 32
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Add forking API * Add GET forks of root * Add fork Jupyter events * Replace query parameter merge=1 with merge=true * Add fork title and description
- Loading branch information
1 parent
20a3735
commit 78a91ca
Showing
8 changed files
with
377 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
56 changes: 56 additions & 0 deletions
56
projects/jupyter-server-ydoc/jupyter_server_ydoc/events/fork.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
"$id": https://schema.jupyter.org/jupyter_collaboration/fork/v1 | ||
"$schema": "http://json-schema.org/draft-07/schema" | ||
version: 1 | ||
title: Collaborative fork events | ||
personal-data: true | ||
description: | | ||
Fork events emitted from server-side during a collaborative session. | ||
type: object | ||
required: | ||
- fork_roomid | ||
- fork_info | ||
- username | ||
- action | ||
properties: | ||
fork_roomid: | ||
type: string | ||
description: | | ||
Fork root room ID. | ||
fork_info: | ||
type: object | ||
description: | | ||
Fork root room information. | ||
required: | ||
- root_roomid | ||
- synchronize | ||
- title | ||
- description | ||
properties: | ||
root_roomid: | ||
type: string | ||
description: | | ||
Root room ID. Usually composed by the file type, format and ID. | ||
synchronize: | ||
type: boolean | ||
description: | | ||
Whether the fork is kept in sync with the root. | ||
title: | ||
type: string | ||
description: | | ||
The title of the fork. | ||
description: | ||
type: string | ||
description: | | ||
The description of the fork. | ||
username: | ||
type: string | ||
description: | | ||
The name of the user who created or deleted the fork. | ||
action: | ||
enum: | ||
- create | ||
- delete | ||
description: | | ||
Possible values: | ||
1. create | ||
2. delete |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.