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, 15) | 31 | VERSION = (1, 16) |
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) |
@@ -126,7 +126,7 @@ 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', | 128 | group.add_option('-g', '--groups', |
129 | dest='groups', default="", | 129 | dest='groups', default='default', |
130 | help='restrict manifest projects to ones with a specified group', | 130 | help='restrict manifest projects to ones with a specified group', |
131 | metavar='GROUP') | 131 | metavar='GROUP') |
132 | 132 | ||