Skip to main content

minder repo delete

minder repo delete

Delete a repository

Synopsis

The repo delete subcommand is used to delete a registered repository within Minder.

minder repo delete [flags]

Options

  -h, --help          help for delete
-i, --id string ID of the repo to delete
-n, --name string Name of the repository (owner/name format) to delete

Options inherited from parent commands

      --config string            Config file (default is $PWD/config.yaml)
--grpc-host string Server host (default "api.stacklok.com")
--grpc-insecure Allow establishing insecure connections
--grpc-port int Server port (default 443)
--identity-client string Identity server client ID (default "minder-cli")
--identity-url string Identity server issuer URL (default "https://auth.stacklok.com")
-j, --project string ID of the project
-p, --provider string Name of the provider, i.e. github
-v, --verbose Output additional messages to STDERR

SEE ALSO