summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo7
1 files changed, 3 insertions, 4 deletions
diff --git a/repo b/repo
index adcfb6eb..98fd5f74 100755
--- a/repo
+++ b/repo
@@ -124,7 +124,7 @@ if not REPO_REV:
124BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071" 124BUG_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
127VERSION = (2, 42) 127VERSION = (2, 45)
128 128
129# increment this if the MAINTAINER_KEYS block is modified 129# increment this if the MAINTAINER_KEYS block is modified
130KEYRING_VERSION = (2, 3) 130KEYRING_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. 214MIN_GIT_VERSION = (1, 7, 9) # minimum supported git version
215MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version
216repodir = ".repo" # name of repo's private directory 215repodir = ".repo" # name of repo's private directory
217S_repo = "repo" # special repo repository 216S_repo = "repo" # special repo repository
218S_manifests = "manifests" # special manifest repository 217S_manifests = "manifests" # special manifest repository