diff options
Diffstat (limited to 'subcmds/init.py')
| -rw-r--r-- | subcmds/init.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/subcmds/init.py b/subcmds/init.py index e2f34cc8..b0db76a4 100644 --- a/subcmds/init.py +++ b/subcmds/init.py | |||
| @@ -520,8 +520,12 @@ to update the working directory files. | |||
| 520 | # Handle new --repo-rev requests. | 520 | # Handle new --repo-rev requests. |
| 521 | if opt.repo_rev: | 521 | if opt.repo_rev: |
| 522 | wrapper = Wrapper() | 522 | wrapper = Wrapper() |
| 523 | remote_ref, rev = wrapper.check_repo_rev( | 523 | try: |
| 524 | rp.gitdir, opt.repo_rev, repo_verify=opt.repo_verify, quiet=opt.quiet) | 524 | remote_ref, rev = wrapper.check_repo_rev( |
| 525 | rp.gitdir, opt.repo_rev, repo_verify=opt.repo_verify, quiet=opt.quiet) | ||
| 526 | except wrapper.CloneFailure: | ||
| 527 | print('fatal: double check your --repo-rev setting.', file=sys.stderr) | ||
| 528 | sys.exit(1) | ||
| 525 | branch = rp.GetBranch('default') | 529 | branch = rp.GetBranch('default') |
| 526 | branch.merge = remote_ref | 530 | branch.merge = remote_ref |
| 527 | rp.work_git.reset('--hard', rev) | 531 | rp.work_git.reset('--hard', rev) |
