--- a/ssh-replacement	Mon Jun 16 17:12:20 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-#!/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"
-