rename REPO_DOWNLOAD to REPO

The "download" suffix is redundant and reflects how `repo` used to
be used in the download plugin -- as kind of a pseudo download
bolted onto the side.  Since we've reworked the plugin, we can
rename this constant to better reflect its usage.

Change-Id: I0b094d971a8591a46b1b1f05cbbfe32e8483f207
1 file changed
tree: f457337cdccdb0ec655aa5d3c0d6f199ff2e0dc4
  1. .gitignore
  2. BUILD
  3. LICENSE
  4. README.md
  5. src/
README.md

Gerrit download-commands plugin

All documentation may be found under src/main/resources/Documentation/.