equal
deleted
inserted
replaced
468 |
468 |
469 other = hg.repository(ui, source) |
469 other = hg.repository(ui, source) |
470 cg = repo.getchangegroup(other) |
470 cg = repo.getchangegroup(other) |
471 repo.addchangegroup(cg) |
471 repo.addchangegroup(cg) |
472 |
472 |
473 def push(ui, repo, dest): |
473 def push(ui, repo, dest="default-push"): |
474 """push changes to the specified destination""" |
474 """push changes to the specified destination""" |
475 paths = {} |
475 paths = {} |
476 for name, path in ui.configitems("paths"): |
476 for name, path in ui.configitems("paths"): |
477 paths[name] = path |
477 paths[name] = path |
478 |
478 |