feat: repo_delete tool #11

New Issue

2026-05-14T08:51:25Z

mathias commented

2026-05-14 08:51:25 +00:00

Summary

Allow agents and claude.ai sessions to delete repositories without manual web UI.

Gitea API

DELETE /api/v1/repos/{owner}/{repo}

Tool spec

tool: repo_delete
params:
  owner:   string  // repo owner
  name:    string  // repo name
  confirm: string  // must equal name — hard guard against accidental deletion

Required token permission

delete_repo scope on the Gitea API token.

Risk classification

HIGH — irreversible. Must require explicit ntfy approval in agent workflows.

Implementation notes

Follow existing pattern in internal/tools/
Return error immediately if confirm != name (before any API call)
Table-driven tests: success, wrong confirm, repo not found, insufficient permissions

Motivation

2026-05-14: wanted to delete zombie repo ingestion-svc from claude.ai. Had to fall back to tombstone README instead of clean deletion. Blocked by missing tool.

## Summary Allow agents and claude.ai sessions to delete repositories without manual web UI. ## Gitea API `DELETE /api/v1/repos/{owner}/{repo}` ## Tool spec ``` tool: repo_delete params: owner: string // repo owner name: string // repo name confirm: string // must equal name — hard guard against accidental deletion ``` ## Required token permission `delete_repo` scope on the Gitea API token. ## Risk classification **HIGH** — irreversible. Must require explicit ntfy approval in agent workflows. ## Implementation notes - Follow existing pattern in `internal/tools/` - Return error immediately if `confirm != name` (before any API call) - Table-driven tests: success, wrong confirm, repo not found, insufficient permissions ## Motivation 2026-05-14: wanted to delete zombie repo `ingestion-svc` from claude.ai. Had to fall back to tombstone README instead of clean deletion. Blocked by missing tool.

mathias referenced this issue

2026-05-14 14:40:26 +00:00

test: end-to-end mirror flow — repo_create + repo_mirror_push → GitHub #19

mathias referenced this issue from a commit

2026-05-15 11:59:54 +00:00

feat(tools): issue_get, release_create, repo_delete (#11, #17, #20)

mathias referenced this issue

2026-05-15 12:00:03 +00:00

feat(tools): issue_get, release_create, repo_delete (#11, #17, #20) #23

mathias referenced this issue from a commit

2026-05-15 12:00:11 +00:00

Merge pull request 'feat(tools): issue_get, release_create, repo_delete (#11, #17, #20)' (#23) from feat/batch-3 into main