summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xrepo4
1 files changed, 2 insertions, 2 deletions
diff --git a/repo b/repo
index 32f0df0b..1468fad3 100755
--- a/repo
+++ b/repo
@@ -2,7 +2,7 @@
2 2
3## repo default configuration 3## repo default configuration
4## 4##
5REPO_URL='git://android.git.kernel.org/tools/repo.git' 5REPO_URL='https://code.google.com/p/git-repo/'
6REPO_REV='stable' 6REPO_REV='stable'
7 7
8# Copyright (C) 2008 Google Inc. 8# Copyright (C) 2008 Google Inc.
@@ -28,7 +28,7 @@ if __name__ == '__main__':
28del magic 28del 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
31VERSION = (1, 11) 31VERSION = (1, 12)
32 32
33# increment this if the MAINTAINER_KEYS block is modified 33# increment this if the MAINTAINER_KEYS block is modified
34KEYRING_VERSION = (1,0) 34KEYRING_VERSION = (1,0)