changeset 476:9d81ec713f1b

python/hgrc.py
author Jeff Hammel <jhammel@mozilla.com>
date Sat, 10 Aug 2013 19:15:40 -0700
parents efd50220556e
children 6274107e477e
files python/hgrc.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/python/hgrc.py	Sat Aug 10 19:14:14 2013 -0700
+++ b/python/hgrc.py	Sat Aug 10 19:15:40 2013 -0700
@@ -131,6 +131,8 @@
         action_name = action_names.pop()
         parameter = actions.pop(action_name)
         method = action_map[action_name]
+        if action_name == 'default_push_ssh':
+            parameter = None
 
         # apply to all files
         for path, ini in config.items():