equal
deleted
inserted
replaced
5718 else: |
5718 else: |
5719 # if we try to push a deleted bookmark, translate it to null |
5719 # if we try to push a deleted bookmark, translate it to null |
5720 # this lets simultaneous -r, -b options continue working |
5720 # this lets simultaneous -r, -b options continue working |
5721 opts.setdefault(b'rev', []).append(b"null") |
5721 opts.setdefault(b'rev', []).append(b"null") |
5722 |
5722 |
5723 if not dests: |
|
5724 dests = [None] |
|
5725 some_pushed = False |
5723 some_pushed = False |
5726 result = 0 |
5724 result = 0 |
5727 for dest in dests: |
5725 for path in urlutil.get_push_paths(repo, ui, dests): |
5728 path = ui.getpath(dest, default=(b'default-push', b'default')) |
|
5729 if not path: |
5726 if not path: |
5730 raise error.ConfigError( |
5727 raise error.ConfigError( |
5731 _(b'default repository not configured!'), |
5728 _(b'default repository not configured!'), |
5732 hint=_(b"see 'hg help config.paths'"), |
5729 hint=_(b"see 'hg help config.paths'"), |
5733 ) |
5730 ) |