hgext/obsolete.py
branchstable
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: