Add repo-stats ssh command

The command can be useful to quickly check repo dirtiness and adjust gc
configuration.

Change-Id: I5ca47e958195808518dfb41ac323cbf92503f41e
5 files changed
tree: 94032937a4a7b2a2193ec8acbf6fd2bbdfc05365
  1. .settings/
  2. bin/
  3. src/
  4. .gitignore
  5. BUILD
  6. external_plugin_deps.bzl
  7. LICENSE