monoceros remove-repo
Removes a repo entry from a workbench’s config. The inverse of
monoceros add-repo.
monoceros remove-repo <name> <url-or-name><url-or-name> matches by the repo URL or its registered name.
Examples
Section titled “Examples”monoceros remove-repo acme https://github.com/acme/api.gitmonoceros remove-repo acme apiBehavior
Section titled “Behavior”- Idempotent. Removing a repo that is not registered is a no-op.
- Leaves the clone in place. The already-cloned folder under
projects/is not deleted - remove it by hand if you want the files gone. - Leaves the provider CLI in place. The
gh/glabfeature that was added with the repo stays; drop it withmonoceros remove-featureif you no longer want it.
See also
Section titled “See also”monoceros add-repo- the inverse.- Git and repositories - how cloning works.