1 files changed, 1 insertions, 0 deletions

diff --git a/repo b/repo
index 2af77ace..6d7ce42a 100755
--- a/repo
+++ b/repo
@@ -618,6 +618,7 @@ def _Init(args, gitc_init=False):
             "REPO_URL set correctly?" % url, file=sys.stderr)
 
   except CloneFailure:
+    print('fatal: double check your --repo-rev setting.', file=sys.stderr)
     if opt.quiet:
       print('fatal: repo init failed; run without --quiet to see why',
             file=sys.stderr)