--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ssh-replacement	Thu Jun 05 16:53:57 2008 +0100
@@ -0,0 +1,7 @@
+#!/bin/sh
+# Used only for break-ins
+
+echo "arg: $2" >&2
+
+exec sudo -H -u hg /usr/local/lib/hg-admin-tools/as-if-by-ssh "$2"
+