##// END OF EJS Templates
push: specify default-push and default as fallback paths...
Yuya Nishihara -
r27562:cb0cfa9f default
parent child Browse files
Show More
@@ -5663,7 +5663,7 b' def push(ui, repo, dest=None, **opts):'
5663 # this lets simultaneous -r, -b options continue working
5663 # this lets simultaneous -r, -b options continue working
5664 opts.setdefault('rev', []).append("null")
5664 opts.setdefault('rev', []).append("null")
5665
5665
5666 path = ui.paths.getpath(dest, default='default')
5666 path = ui.paths.getpath(dest, default=('default-push', 'default'))
5667 if not path:
5667 if not path:
5668 raise error.Abort(_('default repository not configured!'),
5668 raise error.Abort(_('default repository not configured!'),
5669 hint=_('see the "path" section in "hg help config"'))
5669 hint=_('see the "path" section in "hg help config"'))
General Comments 0
You need to be logged in to leave comments. Login now