diff options
author | Mike Frysinger <vapier@google.com> | 2020-05-21 18:13:49 -0400 |
---|---|---|
committer | David Pursehouse <dpursehouse@digital.ai> | 2020-05-21 22:46:11 +0000 |
commit | 60fc51bb1dcf8970189a544c2ca75f2cdcfdb6f8 (patch) | |
tree | 4b0417e376c2d21c79891793b0243165db8e1d34 | |
parent | 72325c5f3e64711f575bd3e04a5cbe3fb320be18 (diff) | |
download | git-repo-60fc51bb1dcf8970189a544c2ca75f2cdcfdb6f8.tar.gz |
launcher: fix version to latestv2.8
We've already released 2.7, and the next tag is 2.8, so this should
be pulled up to 2.8 so it'll stay in sync.
Change-Id: Id47bdbdb8050b29ea36442ac2149dd948648237f
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/268572
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@digital.ai>
-rwxr-xr-x | repo | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -133,7 +133,7 @@ if not REPO_REV: | |||
133 | REPO_REV = 'stable' | 133 | REPO_REV = 'stable' |
134 | 134 | ||
135 | # increment this whenever we make important changes to this script | 135 | # increment this whenever we make important changes to this script |
136 | VERSION = (2, 7) | 136 | VERSION = (2, 8) |
137 | 137 | ||
138 | # increment this if the MAINTAINER_KEYS block is modified | 138 | # increment this if the MAINTAINER_KEYS block is modified |
139 | KEYRING_VERSION = (2, 3) | 139 | KEYRING_VERSION = (2, 3) |