branch | stable |
changeset 396 | 9dda5c1f6a45 |
parent 376 | 188afb394e10 |
child 399 | 4d63f8a00787 |
child 404 | 4a5488c01a66 |
--- a/hgext/obsolete.py Thu Jul 26 15:23:05 2012 +0200 +++ b/hgext/obsolete.py Fri Jul 27 15:04:55 2012 +0200 @@ -440,7 +440,7 @@ def pushmarker(repo, key, old, new): """Push markers over pushkey""" - if key != 'dump': + if not key.startswith('dump'): repo.ui.warn(_('unknown key: %r') % key) return 0 if old: