equal
deleted
inserted
replaced
383 """Push markers over pushkey""" |
383 """Push markers over pushkey""" |
384 if not key.startswith('dump'): |
384 if not key.startswith('dump'): |
385 repo.ui.warn(_('unknown key: %r') % key) |
385 repo.ui.warn(_('unknown key: %r') % key) |
386 return 0 |
386 return 0 |
387 if old: |
387 if old: |
388 repo.ui.warn(_('unexpected old value') % key) |
388 repo.ui.warn(_('unexpected old value for %r') % key) |
389 return 0 |
389 return 0 |
390 data = base85.b85decode(new) |
390 data = base85.b85decode(new) |
391 lock = repo.lock() |
391 lock = repo.lock() |
392 try: |
392 try: |
393 tr = repo.transaction('pushkey: obsolete markers') |
393 tr = repo.transaction('pushkey: obsolete markers') |