mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
Change the min git version from 1.7.2 to 1.8.2
This is needed for the --unshallow option of git fetch. Change-Id: Ifdc5cec6130315c643924328fea425f1b94cb04a
This commit is contained in:
parent
9371979628
commit
52b99aa91d
4
repo
4
repo
@ -20,7 +20,7 @@ REPO_REV = 'stable'
|
|||||||
# limitations under the License.
|
# limitations under the License.
|
||||||
|
|
||||||
# increment this whenever we make important changes to this script
|
# increment this whenever we make important changes to this script
|
||||||
VERSION = (1, 21)
|
VERSION = (1, 22)
|
||||||
|
|
||||||
# increment this if the MAINTAINER_KEYS block is modified
|
# increment this if the MAINTAINER_KEYS block is modified
|
||||||
KEYRING_VERSION = (1, 2)
|
KEYRING_VERSION = (1, 2)
|
||||||
@ -102,7 +102,7 @@ JuinEP+AwLAUZ1Bsx9ISC0Agpk2VeHXPL3FGhroEmoMvBzO0kTFGyoeT7PR/BfKv
|
|||||||
"""
|
"""
|
||||||
|
|
||||||
GIT = 'git' # our git command
|
GIT = 'git' # our git command
|
||||||
MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version
|
MIN_GIT_VERSION = (1, 8, 2) # minimum supported git version
|
||||||
repodir = '.repo' # name of repo's private directory
|
repodir = '.repo' # name of repo's private directory
|
||||||
S_repo = 'repo' # special repo repository
|
S_repo = 'repo' # special repo repository
|
||||||
S_manifests = 'manifests' # special manifest repository
|
S_manifests = 'manifests' # special manifest repository
|
||||||
|
Loading…
Reference in New Issue
Block a user