robbyrussell/oh-my-zsh — pull request #1735 by nileshgr (2013-04-19 13:17:56+00:00)
Title: Plugin to make life of sysadmins easier who deal with large number of servers

SSH hostnames can be long and it's boring to type the user@hostname every time.
Out of frustration, I developed this plugin.

It uses an associative array to map nicknames into actual user@hostname or extra options/whatever.

The plugin file has documentation.