diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -327,8 +327,11 @@ def InitParser(parser, gitc_init=False): | |||
327 | group.add_option('--no-current-branch', | 327 | group.add_option('--no-current-branch', |
328 | dest='current_branch_only', action='store_false', | 328 | dest='current_branch_only', action='store_false', |
329 | help='fetch all manifest branches from server') | 329 | help='fetch all manifest branches from server') |
330 | group.add_option('--tags', | ||
331 | action='store_true', | ||
332 | help='fetch tags in the manifest') | ||
330 | group.add_option('--no-tags', | 333 | group.add_option('--no-tags', |
331 | dest='tags', default=True, action='store_false', | 334 | dest='tags', action='store_false', |
332 | help="don't fetch tags in the manifest") | 335 | help="don't fetch tags in the manifest") |
333 | 336 | ||
334 | # These are fundamentally different ways of structuring the checkout. | 337 | # These are fundamentally different ways of structuring the checkout. |