Command interface for website

A great idea was implemented on Github.com: this is a command line built right into the web interface.



There is auto-completion and command history: the ↑ button for the previous command, just like in the console.

Some examples of commands:

• View user profile: @username
• go to repository: user/repo
• List of user repositories: user/
• List of tickets for this repository: user/repo #
• Search by open ticket: user/repo #search term

')
The s button switches the focus to the command line, so that the site can not use the mouse at all.