From d2b086bea92674866ad30db3d579779682eb8cdc Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Wed, 21 Apr 2021 00:25:24 -0400 Subject: [PATCH] init: restore default --manifest-name The merge of the repo & init parser missed this default. When running `repo init ...` in an existing checkout but w/out the -m option, then repo would error out complaining that -m is required when it didn't do this before. Change-Id: I58035d48cc413b5d373702b9dc3b9ecd3fd1e900 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/303945 Tested-by: Mike Frysinger Reviewed-by: Jonathan Nieder --- repo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repo b/repo index cf9f1863..d9c97de1 100755 --- a/repo +++ b/repo @@ -298,7 +298,7 @@ def InitParser(parser, gitc_init=False): help='manifest repository location', metavar='URL') group.add_option('-b', '--manifest-branch', metavar='REVISION', help='manifest branch or revision (use HEAD for default)') - group.add_option('-m', '--manifest-name', + group.add_option('-m', '--manifest-name', default='default.xml', help='initial manifest file', metavar='NAME.xml') group.add_option('-g', '--groups', default='default', help='restrict manifest projects to ones with specified '