summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo6
1 files changed, 5 insertions, 1 deletions
diff --git a/repo b/repo
index 1977d635..75fe9ec2 100755
--- a/repo
+++ b/repo
@@ -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, 14) 31VERSION = (1, 15)
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)
@@ -125,6 +125,10 @@ group.add_option('--reference',
125group.add_option('--depth', type='int', default=None, 125group.add_option('--depth', type='int', default=None,
126 dest='depth', 126 dest='depth',
127 help='create a shallow clone with given depth; see git clone') 127 help='create a shallow clone with given depth; see git clone')
128group.add_option('-g', '--groups',
129 dest='groups', default="",
130 help='restrict manifest projects to ones with a specified group',
131 metavar='GROUP')
128 132
129 133
130# Tool 134# Tool