diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -124,7 +124,7 @@ if not REPO_REV: | |||
124 | BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071" | 124 | BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071" |
125 | 125 | ||
126 | # increment this whenever we make important changes to this script | 126 | # increment this whenever we make important changes to this script |
127 | VERSION = (2, 42) | 127 | VERSION = (2, 45) |
128 | 128 | ||
129 | # increment this if the MAINTAINER_KEYS block is modified | 129 | # increment this if the MAINTAINER_KEYS block is modified |
130 | KEYRING_VERSION = (2, 3) | 130 | KEYRING_VERSION = (2, 3) |
@@ -210,9 +210,8 @@ GIT = "git" # our git command | |||
210 | # NB: The version of git that the repo launcher requires may be much older than | 210 | # NB: The version of git that the repo launcher requires may be much older than |
211 | # the version of git that the main repo source tree requires. Keeping this at | 211 | # the version of git that the main repo source tree requires. Keeping this at |
212 | # an older version also makes it easier for users to upgrade/rollback as needed. | 212 | # an older version also makes it easier for users to upgrade/rollback as needed. |
213 | # | 213 | # See requirements.json for versions. |
214 | # git-1.7 is in (EOL) Ubuntu Precise. | 214 | MIN_GIT_VERSION = (1, 7, 9) # minimum supported git version |
215 | MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version | ||
216 | repodir = ".repo" # name of repo's private directory | 215 | repodir = ".repo" # name of repo's private directory |
217 | S_repo = "repo" # special repo repository | 216 | S_repo = "repo" # special repo repository |
218 | S_manifests = "manifests" # special manifest repository | 217 | S_manifests = "manifests" # special manifest repository |