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 |
