diff options
-rwxr-xr-x | repo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ | |||
2 | 2 | ||
3 | ## repo default configuration | 3 | ## repo default configuration |
4 | ## | 4 | ## |
5 | REPO_URL='git://android.git.kernel.org/tools/repo.git' | 5 | REPO_URL='https://code.google.com/p/git-repo/' |
6 | REPO_REV='stable' | 6 | REPO_REV='stable' |
7 | 7 | ||
8 | # Copyright (C) 2008 Google Inc. | 8 | # Copyright (C) 2008 Google Inc. |
@@ -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, 11) | 31 | VERSION = (1, 12) |
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,0) | 34 | KEYRING_VERSION = (1,0) |