Giters

wmalik / ogit

TUI and CLI for organizing git repositories across multiple providers (e.g. GitHub, GitLab).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Delete clone of repo

padawin opened this issue · comments

commented

We should be able to delete the local clone of a repo.