Introducing the Command Bar

At GitHub, we use the command line every day. From git commands to script/server, we love the power it offers. This got us thinking, “why can’t we do that with…