5272 else: |
5272 else: |
5273 # if we try to push a deleted bookmark, translate it to null |
5273 # if we try to push a deleted bookmark, translate it to null |
5274 # this lets simultaneous -r, -b options continue working |
5274 # this lets simultaneous -r, -b options continue working |
5275 opts.setdefault('rev', []).append("null") |
5275 opts.setdefault('rev', []).append("null") |
5276 |
5276 |
5277 path = ui.paths.getpath(dest or 'default-push', default='default') |
5277 path = ui.paths.getpath(dest, default='default') |
5278 if not path: |
5278 if not path: |
5279 raise util.Abort(_('default repository not configured!'), |
5279 raise util.Abort(_('default repository not configured!'), |
5280 hint=_('see the "path" section in "hg help config"')) |
5280 hint=_('see the "path" section in "hg help config"')) |
5281 dest, branches = path.loc, (path.branch, opts.get('branch') or []) |
5281 dest, branches = path.pushloc, (path.branch, opts.get('branch') or []) |
5282 ui.status(_('pushing to %s\n') % util.hidepassword(dest)) |
5282 ui.status(_('pushing to %s\n') % util.hidepassword(dest)) |
5283 revs, checkout = hg.addbranchrevs(repo, repo, branches, opts.get('rev')) |
5283 revs, checkout = hg.addbranchrevs(repo, repo, branches, opts.get('rev')) |
5284 other = hg.peer(repo, opts, dest) |
5284 other = hg.peer(repo, opts, dest) |
5285 |
5285 |
5286 if revs: |
5286 if revs: |