projtool.pl: add prune command
commitd971365bdbe30f376a0907ada3eaef7558261271
authorKyle J. McKay <mackyle@gmail.com>
Mon, 1 Mar 2021 23:58:16 +0000 (1 16:58 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Mon, 1 Mar 2021 23:58:16 +0000 (1 16:58 -0700)
treec15bcd56cde55acd195c42100638c5c5d59b95d3
parent295c335182cd8cd84f5f35e31140202caba24d84
projtool.pl: add prune command

Provide a prune command that can remove any project names from
the group file that do not correspond to an existing project
directory (aka GIT_DIR).

Require explicit --dry-run or --force to operate.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
toolbox/projtool.pl