# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1376187340 25200
# Node ID 9d81ec713f1bdc2f29f26b9d677a7855b302106b
# Parent  efd50220556e72eff323e4397a3d7b2332477011
python/hgrc.py

diff -r efd50220556e -r 9d81ec713f1b python/hgrc.py
--- 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():