Delete a repository with repo delete #43

New issue

Closed

opened 2026-10-22 22:13:22 -05:00 by jeff · 0 comments

jeff commented

2026-10-22 22:13:22 -05:00

Owner

Part of #36

zfj repo delete <owner>/<repo> [--yes]

The repository must be named as <owner>/<repo>. No argument, or a bare name, is a usage error; it is never read from the clone's remote (ADR 0006).
Confirmation, which is new to the tool: on a terminal, ask for the full <owner>/<repo> to be typed back, and delete only on an exact match. Off a terminal, refuse unless --yes is given. --yes skips the question either way.
repoDelete; says what was deleted.

Part of #36 `zfj repo delete <owner>/<repo> [--yes]` - **The repository must be named as `<owner>/<repo>`.** No argument, or a bare name, is a usage error; it is never read from the clone's remote (ADR 0006). - **Confirmation, which is new to the tool:** on a terminal, ask for the full `<owner>/<repo>` to be typed back, and delete only on an exact match. Off a terminal, refuse unless `--yes` is given. `--yes` skips the question either way. - `repoDelete`; says what was deleted.

jeff added the

ready-for-agent

label

2026-10-22 22:13:22 -05:00

jeff added a new dependency

2026-10-22 22:13:31 -05:00

#37 Show a repository with repo view

jeff referenced this issue

2026-10-22 22:13:32 -05:00

Repository management: zfj repo #36

jeff referenced this issue from a commit

2026-10-22 23:35:07 -05:00