aoki
This Chrome extension is to focus on the github.com header search box. If you using Chrome then push hotkeys Cmd+Shift+P. Then focus move to the GitHub tab in the search box from every tab. You can custom hotkeys in the chrome://extensions/shortcuts.