diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -28,7 +28,7 @@ if __name__ == '__main__': | |||
28 | del magic | 28 | del magic |
29 | 29 | ||
30 | # increment this whenever we make important changes to this script | 30 | # increment this whenever we make important changes to this script |
31 | VERSION = (1, 18) | 31 | VERSION = (1, 19) |
32 | 32 | ||
33 | # increment this if the MAINTAINER_KEYS block is modified | 33 | # increment this if the MAINTAINER_KEYS block is modified |
34 | KEYRING_VERSION = (1,1) | 34 | KEYRING_VERSION = (1,1) |
@@ -110,7 +110,7 @@ V6pfUgqKLWa/aK7/N1ZHnPdFLD8Xt0Dmy4BPwrKC | |||
110 | """ | 110 | """ |
111 | 111 | ||
112 | GIT = 'git' # our git command | 112 | GIT = 'git' # our git command |
113 | MIN_GIT_VERSION = (1, 5, 4) # minimum supported git version | 113 | MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version |
114 | repodir = '.repo' # name of repo's private directory | 114 | repodir = '.repo' # name of repo's private directory |
115 | S_repo = 'repo' # special repo repository | 115 | S_repo = 'repo' # special repo repository |
116 | S_manifests = 'manifests' # special manifest repository | 116 | S_manifests = 'manifests' # special manifest repository |