Show More
| @@ -470,7 +470,7 b' def pull(ui, repo, source="default"):' | |||
|
|
470 | 470 | cg = repo.getchangegroup(other) |
|
|
471 | 471 | repo.addchangegroup(cg) |
|
|
472 | 472 | |
|
|
473 | def push(ui, repo, dest): | |
|
|
473 | def push(ui, repo, dest="default-push"): | |
|
|
474 | 474 | """push changes to the specified destination""" |
|
|
475 | 475 | paths = {} |
|
|
476 | 476 | for name, path in ui.configitems("paths"): |
General Comments 0
You need to be logged in to leave comments.
Login now