equal
deleted
inserted
replaced
4675 |
4675 |
4676 Returns 0 if push was successful, 1 if nothing to push. |
4676 Returns 0 if push was successful, 1 if nothing to push. |
4677 """ |
4677 """ |
4678 |
4678 |
4679 if opts.get('bookmark'): |
4679 if opts.get('bookmark'): |
|
4680 ui.setconfig('bookmarks', 'pushing', opts['bookmark']) |
4680 for b in opts['bookmark']: |
4681 for b in opts['bookmark']: |
4681 # translate -B options to -r so changesets get pushed |
4682 # translate -B options to -r so changesets get pushed |
4682 if b in repo._bookmarks: |
4683 if b in repo._bookmarks: |
4683 opts.setdefault('rev', []).append(b) |
4684 opts.setdefault('rev', []).append(b) |
4684 else: |
4685 else: |