##// END OF EJS Templates
commands.push: use "pushloc" path attribute...
Gregory Szorc -
r26065:dceaef70 default
parent child Browse files
Show More
@@ -5274,11 +5274,11 b' def push(ui, repo, dest=None, **opts):'
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)
General Comments 0
You need to be logged in to leave comments. Login now