# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1376187130 25200
# Node ID 3326aea03a3b469f921d8a5016e40b5bc72f3963
# Parent  da087c5724d41a5baa5609e254f2c3c03aa4a033
python/hgrc.py

diff -r da087c5724d4 -r 3326aea03a3b python/hgrc.py
--- a/python/hgrc.py	Sat Aug 10 19:11:11 2013 -0700
+++ b/python/hgrc.py	Sat Aug 10 19:12:10 2013 -0700
@@ -22,7 +22,8 @@
 
 def set_default_push_to_ssh(parser):
     """
-    pass
+    set `[path]:default_push` to that given by `[path]:default` but
+    turn the protocol to 'ssh'
     """
 
     # get default path