My question was in fact about features that this command bar does not provide. Part of the ones you mentioned was already available before (like file editing),

My question was in fact about features that this command bar does not provide. Part of the ones you mentioned was already available before (like file editing), but simply not in a CLI-related manner. Some of these they could surely add, i.e. whatever can be put in this command bar yet not turning it into terminal. If you're going to do real job, just do in your real terminal emulator, xterm, rxvt, you name it. What's the point of having GitHub terminal in browser? If you want to do quick'n'dirty fixes/improvements directly from the browser, then it's like asking yourself for troubles, because there is quite higher chance that you'll commit a mistake (even literally speaking) than if you'd be using your own terminal that you work with on a daily basis. You may want to check a few CLI tools: https://github.com/defunkt/github-gem https://github.com/defunkt/github-gem https://github.com/defunkt/hub https://github.com/defunkt/hub - http://defunkt.io/hub/ http://defunkt.io/hub/