equal
deleted
inserted
replaced
227 if opts.get('rev'): |
227 if opts.get('rev'): |
228 heads = [repo.lookup(r) for r in opts.get('rev')] |
228 heads = [repo.lookup(r) for r in opts.get('rev')] |
229 else: |
229 else: |
230 heads = repo.heads() |
230 heads = repo.heads() |
231 |
231 |
232 markheads = parse(repo).values() |
232 markheads = parse(repo).values() |
233 opts['rev'] = [head for head in heads if not(head in markheads)] |
233 opts['rev'] = [head for head in heads if not(head in markheads)] |
234 |
234 |
235 orig(ui, repo, *args, **opts) |
235 orig(ui, repo, *args, **opts) |
236 |
236 |
237 def uisetup(ui): |
237 def uisetup(ui): |
238 'Replace push with a decorator to provide --non-bookmarked option' |
238 'Replace push with a decorator to provide --non-bookmarked option' |
239 entry = extensions.wrapcommand(commands.table, 'push', pushnonbookmarked) |
239 entry = extensions.wrapcommand(commands.table, 'push', pushnonbookmarked) |