diff --git a/.xonshrc b/.xonshrc
index 6df9a58..c01e2d2 100644
--- a/.xonshrc
+++ b/.xonshrc
@@ -54,9 +54,6 @@ aliases['status'] = 'git status'
 aliases['rebase'] = 'git rebase'
 aliases['checkout'] = 'git checkout'
 
-# ssh
-aliases['proxy_hindley'] = 'ssh -D 8080 hindley.adh.auro.re'
-
 # config
 aliases['config'] = '/usr/bin/git --git-dir=/home/me/.cfg/ --work-tree=/home/me'