tree afa55e8942bd6f08c3f2abccce09c7dd4663f71a
parent 4fdffd4b29ebd962e272de60efc7cb914526c556
author Mike Frysinger <vapier@google.com> 1595401350 -0400
committer Mike Frysinger <vapier@google.com> 1605512293 -0500

download-commands: 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.

We have to duplicate it here since the download-commands plugin is
using this.  Once that migrates, we can delete the old name.

Change-Id: I948c7f2f427dec64c2617f834a5f7b35e7179543