Delete workspace

Deletes a workspace, removing it from the user’s workspace list.

Important: The workspace’s uncommitted changes are lost unless previously shelved or committed.

Use cases:

• Cleaning up unused workspaces
• Switching between different working contexts

Requirements: Requires READ access to the repository.

Returns:

• 404 Not Found if the workspace doesn’t exist
• 204 No Content on successful deletion

DELETE /repos/{repo_id}/workspaces/{workspace_id}

Delete workspace

cURL

curl --request DELETE \
  --url https://api.diversion.dev/v0/repos/{repo_id}/workspaces/{workspace_id} \
  --header 'Authorization: Bearer <token>'

default

{
  "status": 123,
  "detail": "<string>",
  "title": "<string>",
  "type": "<string>"
}

Authorizations

Authorization · string · header · required

This API uses OAuth 2 with the implicit grant flow

Path Parameters

repo_id · string · required

The repo ID of the repository. Repo name can be used instead of the ID, but usage of ID for permanent linking and API requests is preferred.

Required string length: 3 - 128

Example:

"example_id"

workspace_id · string · required

The repo ID of the workspace.

Required string length: 3 - 128

Example:

"example_id"

Response

204

Request completed successfully