1 files changed, 1 insertions, 0 deletions
diff --git a/repo b/repo
index e4b749e..bf9fbd4 100755
--- a/repo
+++ b/repo
@@ -132,6 +132,7 @@ group.add_option('--repo-branch',
                  help='repo branch or revision', metavar='REVISION')
 group.add_option('--no-repo-verify',
                  dest='no_repo_verify', action='store_true',
+                 default=True,
                  help='do not verify repo source code')