GitHub App

Conecte repositórios ao PR gate

Vincule a instalação do GitHub App a este workspace para que eventos de pull request resolvam o tenant correto e criem Check Runs em produção.

Instalar ou religar

Nenhuma instalação GitHub está vinculada ainda.

O GitHub volta para esta página após a instalação. Validamos a instalação contra o app antes de vinculá-la ao workspace.

Instalações vinculadas

Roteamento de tenant para webhooks do GitHub

Por que isso importa

Os eventos de webhook chegam com installation id, não com tenant id do DoesItDefend.
Esse vínculo é o que permite ao PR gate cunhar um installation token e publicar um Check Run no workspace correto.
O roteamento legado por variável de ambiente fica como fallback, mas novas instalações devem ser vinculadas aqui.

Fluxo

Abra a tela de instalação do GitHub e escolha a conta ou organização dona dos repositórios.
O GitHub redireciona de volta para esta página com o installation id após a instalação ou após mudanças no acesso aos repositórios.
O DoesItDefend valida a instalação contra o app e armazena o vínculo installation-to-tenant no Postgres.