diff --git a/src/bin/cpsc/cli.rs b/src/bin/cpsc/cli.rs index c3a77a3..d691d79 100644 --- a/src/bin/cpsc/cli.rs +++ b/src/bin/cpsc/cli.rs @@ -66,7 +66,11 @@ pub(crate) enum Cli { cmd_and_args: CommandAndArgs, }, /// Remove a repo entry, attempting to remove all files associated with the repo's work tree. - Remove { name: RepoName<'static> }, + Remove { + name: RepoName<'static>, + // // TODO: `--allow-dirty` subcommand + // allow_dirty: bool, + }, // // TODO: A crazy ambitious idea to use the user's auto-magically detected shell? // Preposterous. :) // Enter {