REST APIGit
Revoke a repository
Removes the repository from the workspace's list of repositories the git proxy lets it reach; the next git request for it gets 403. Audited as `git_access.remove`. Needs `workspace.git_access`.
Generated from
openapi/harthelm.yaml at v1.5.0DELETE
cookie
__Host-harthelm_session<token>Browser session of the UI (12 h idle, 7 days absolute). State-changing requests also need the header
Harthelm-CSRF: 1 and a matching Origin.
ws*integerNumeric resource id.
Format
int64Range
1 <= valueprovider*stringProvider id from GET /git/providers.
Match
^[a-z][a-z0-9-]{0,30}$owner*stringOwner (user or organization) of the repository at the provider.
Match
^[A-Za-z0-9][A-Za-z0-9._-]{0,99}$repo*stringRepository name without .git.
Match
^[A-Za-z0-9][A-Za-z0-9._-]{0,99}$Removed; the next git request for it gets 403.
curl -X DELETE 'https://console.example.com/api/v1/workspaces/1/git-access/string/string/string'Empty