Add command remove-from-queue

The command allows admins to remove a repo from the queue in case that
is not picked up by the executor. Administrators also have an option
--force to remove repo in case of executor crash.

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