メインコンテンツへスキップ

GitHub

Devin を GitHub リポジトリと接続します。

Azure DevOps

Devin を Azure DevOps リポジトリと接続します。

GitLab

Devin をお使いの GitLab インスタンスと統合します。

GitHub Enterprise Server

Devin を GitHub Enterprise Server と接続します。

​
Enterprise GitHub 権限

Enterprise 環境で GitHub をセットアップする際は、Enterprise Admin がリポジトリ管理の権限を付与する必要があります。
GitHub Enterprise Server の場合は、GitHub App の代わりに個人用アクセストークンを使用する GitHub Enterprise Server Integration ガイド を参照してください。
ソースコードに Devin を接続するには、まず Settings > Enterprise Settings > Connected Accounts を開きます。GitHub との連携手順は GitHub と同様です。
Enterprise GitHub Integration

Enterprise GitHub Integration

この接続により、Enterprise 内の親組織がリポジトリにアクセスできるようになります。ただし、サブ組織がこれらのリポジトリを利用するには、明示的に権限を付与する必要があります。 Devin を GitHub に接続すると、Connected Accounts にその接続が表示され、Git Permissions を管理するオプションが利用可能になります。このオプションをクリックすると、Enterprise 内の任意の組織を選択し、その組織にリポジトリへのアクセスを付与できます。

​
グループ権限

グループ権限を使用すると、サブ組織に、特定の GitHub グループまたは Organization の配下にあるすべてのリポジトリへのアクセス権を付与できます。 Group Prefix/Organization Name を入力し、Add Permissions をクリックします。グループは「Current Permissions」の下に表示され、対応するすべてのリポジトリが「Current Repositories」に一覧表示されます。
Git Group Permissions

Git Group Permissions

​
リポジトリ権限

リポジトリごとに権限を付与するには、GitHub グループまたは組織名を含む完全なリポジトリパスを入力します。 これにより、グループ全体へアクセス権を与えることなく、サブ組織に特定のリポジトリへのアクセス権のみを付与できます。
Git Repository Permissions

Git Repository Permissions