On: Introducing the Command Bar

[jamespitts]

It is fantastic that a command interface is now a part of a very public system like github.

These things really speed up work for power-users and let maintainers add functionality without adding more complexity to the user experience than is appropriate.