##// END OF EJS Templates
hg push: "default-push" default target path...
mpm@selenic.com -
r371:6e343608 default
parent child Browse files
Show More
@@ -470,7 +470,7 b' def pull(ui, repo, source="default"):'
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"):
General Comments 0
You need to be logged in to leave comments. Login now