github: Improved file navigation and editing in the web UI

GitHub announced improvements to the web UI to make file navigation and editing faster and simpler. A highlighted change is seamless editing from search results so that search hits link directly to files with the ability to open and edit them in the web editor.

• Source: GitHub