Google Git
Sign in
gerrit / plugins / download-commands / bd6764866a87ba5eb498191226d8ea0c801ba185
commitbd6764866a87ba5eb498191226d8ea0c801ba185[log] [tgz]
authorMike Frysinger <vapier@google.com>Wed Jul 22 03:04:49 2020 -0400
committerMike Frysinger <vapier@google.com>Wed Jul 22 03:10:08 2020 -0400
treef457337cdccdb0ec655aa5d3c0d6f199ff2e0dc4
parentfd650ca386c382b42d30e7ad72279bfeb311aee4 [diff]
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. src/
  2. .gitignore
  3. BUILD
  4. LICENSE
  5. README.md
README.md

Gerrit download-commands plugin

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