成果物はこちら。 Chrome extension: Search History for GitHub GitHub リポジトリ Chrome extension: Search History for GitHub これは omnibox を使った Chrome 拡張で、アドレスバーにコマンドを打ち込んで使います。 使い方は、Chrome 拡張をインスト…