diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 6 |
1 files changed, 5 insertions, 1 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, 14) | 31 | VERSION = (1, 15) |
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) |
@@ -125,6 +125,10 @@ group.add_option('--reference', | |||
125 | group.add_option('--depth', type='int', default=None, | 125 | group.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') |
128 | group.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 |