Devin の GitHub 連携は GitHub App としてGitHub Organizationにインストールされ、そのインストール ID が 1 つの Devin Organization（テナント）に結び付きます。

このため 同じ GitHub Organization に「複数の Devin Organization」を同時に接続することはできません。

既に接続済みの Devin Organizationがある場合は、先にその連携をアンインストールしてから別の Devin Organizationを接続し直す必要があります。

逆に、1 つの Devin Organization内ではメンバーが何人でも・セッションをいくつでも並行実行できますので、通常のチーム開発で困ることはありません。

まあメインの組織の外側にパーミッションレスなボランティア組織がある開発形態は「通常のチーム開発」じゃないってことだよな

方針

team-mirai-volunteerみたいなorgを新しく作る(長いので以下tmv)

DevinがtmvにPRを作ったとしても、それをteam-miraiにmergeすることはできる

tmvにはteam-miraiが更新されたらpullするGithub Actionを入れとけばいいのではと思う