diff options
Diffstat (limited to 'git_command.py')
-rw-r--r-- | git_command.py | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/git_command.py b/git_command.py index 5017ea9b..4868ccdf 100644 --- a/git_command.py +++ b/git_command.py | |||
@@ -28,8 +28,17 @@ from repo_trace import REPO_TRACE, IsTrace, Trace | |||
28 | from wrapper import Wrapper | 28 | from wrapper import Wrapper |
29 | 29 | ||
30 | GIT = 'git' | 30 | GIT = 'git' |
31 | # Should keep in sync with the "repo" launcher file. | 31 | # NB: These do not need to be kept in sync with the repo launcher script. |
32 | MIN_GIT_VERSION = (2, 10, 2) | 32 | # These may be much newer as it allows the repo launcher to roll between |
33 | # different repo releases while source versions might require a newer git. | ||
34 | # | ||
35 | # The soft version is when we start warning users that the version is old and | ||
36 | # we'll be dropping support for it. We'll refuse to work with versions older | ||
37 | # than the hard version. | ||
38 | # | ||
39 | # git-1.7 is in (EOL) Ubuntu Precise. git-1.9 is in Ubuntu Trusty. | ||
40 | MIN_GIT_VERSION_SOFT = (1, 9, 1) | ||
41 | MIN_GIT_VERSION_HARD = (1, 7, 2) | ||
33 | GIT_DIR = 'GIT_DIR' | 42 | GIT_DIR = 'GIT_DIR' |
34 | 43 | ||
35 | LAST_GITDIR = None | 44 | LAST_GITDIR = None |