GitHub での検索について

GitHub の統合検索機能は、GitHub Enterprise Server上の多くのリポジトリ、ユーザ、コードの行が対象です。

この記事の内容

GitHub

での検索について

GitHub Enterprise Server全体にわたってグローバルに検索できます。あるいは、検索を特定のリポジトリや Organization に絞ることもできます。

  • GitHub Enterprise Server 全体にわたってグローバルに検索するには、探している内容を任意のページの上部にある検索フィールドに入力し、[すべての GitHub を検索する] を検索ドロップダウンメニューで選びます。

  • 特定のリポジトリや Organization 内で検索するには、そのリポジトリまたは Organization のページにアクセスし、検索する内容をページの上部にある検索フィールドに入力して、Enter キーを押します。

注:

  • すべてのパブリック リポジトリに渡ってコードを検索するには、GitHub Enterprise Server 上の個人アカウントにサインインしなければなりません。
  • GitHub Pagesサイトは、GitHub Enterprise Server上では検索できません。 ただし、コンテンツのソースがリポジトリのデフォルトブランチにある場合は、コード検索を使って検索できます。 詳しくは、「コードの検索」を参照してください。 GitHub Pages の詳細については、「GitHub Pages について」を参照してください。
  • 現在、当該検索では完全一致をサポートしていません。
  • コード ファイルのどこを検索しても、返されるのは各ファイルで最初の 2 つの結果のみです。

GitHub Enterprise Server上で検索を行った後、結果をソートしたり、サイドバー内の言語の 1 つをクリックしてさらに絞り込んだりすることができます。 詳しくは、「検索結果をソートする」を参照してください。

GitHub Enterprise Serverの検索は、変更が GitHub Enterprise Serverにプッシュされるたびにプロジェクトを Elasticsearch クラスタを使ってインデックス付けしています。 Issue やプルリクエストは、作成あるいは変更されると同時にインデックス付けされます。

GitHubでの検索の種類

以下の情報は、GitHub でアクセスできるすべてのリポジトリから検索できます。

ビジュアルインターフェースを使った検索

検索バーの他に、検索ページ (https://[hostname]/search) または 高度な検索ページ (https://[hostname]/search/advanced) を使って、GitHub Enterprise Server を検索することもできます。

高度な検索ページ (https://[hostname]/search/advanced)は、検索クエリを構築するビジュアルなインターフェースを提供します。 検索は、Star 数やリポジトリの持つフォーク数など、様々な要素でフィルタリングできます。 高度な検索フィールドに記入していくに従って、上部の検索バーでは自動的にクエリが構築されていきます。

[高度な検索] ページ。 上部の検索バーには、"kittens user:octocat" クエリが表示されます。 [詳細オプション] の [これらの所有者から]の テキスト ボックスには "octocat" という用語が含まれます。

プライベート Enterprise 環境から GitHub.com でリポジトリを検索する

GitHub.com と GitHub Enterprise Server の両方を使う場合や Enterprise 所有者が 統合検索 を有効にしている場合は、GitHub Enterprise Server から、両方の環境で同時に検索できます。 エンタープライズ所有者が 統合検索 を有効にする方法の詳細については、「自社で統合検索を有効にする」を参照してください。

GitHub Enterprise Server の Enterprise 所有者は、GitHub.com のすべてのパブリック リポジトリや、GitHub Connect 経由で GitHub Enterprise Server に接続されている GitHub.com の Organization または Enterprise が所有するプライベート リポジトリに対して、統合検索 を個別に有効にすることができます。

プライベート リポジトリに 統合検索 を使うには、GitHub.com と GitHub Enterprise Server の個人用アカウントを接続する必要があります。 詳しくは、「Enabling repository search across environments」を参照してください。

GitHub Enterprise Server から検索する場合の検索結果には、アクセス可能で、接続されている Organization アカウントまたは Enterprise アカウントが所有するプライベート リポジトリのみが含まれます。 すべてのユーザーは、GitHub Enterprise Server から GitHub.com の個人用アカウントが所有するプライベート リポジトリを検索することはできません。

検索を 1 つの環境に制限するには、高度な検索ページ (https://[hostname]/search/advanced) に対してフィルター オプションを使うか、environment: 検索プレフィックスを使います。 GitHub Enterprise Server のコンテンツのみを検索するには、検索構文 environment:local を使います。 GitHub.com のコンテンツのみを検索するには、environment:github を使います。

参考資料