Skip to main content
Un dépôt privé n’est accessible qu’à travers une installation de la Seyval GitHub App qui le couvre. Connecter votre compte GitHub est autre chose : cela permet à Seyval de lister vos dépôts, mais n’accorde pas à lui seul l’accès à un dépôt privé sur lequel l’App n’est pas installée.

​
De quoi ai-je besoin ?

Les deux se configurent dans le Dashboard, sous Settings → GitHub Integration (GitHub連携). Paramètres d'intégration GitHub

​
Installer la Seyval App

Requise pour tout dépôt privé, ainsi que pour les webhooks push / pull request.
  1. Dans Settings → GitHub Integration, cliquez sur Install Seyval App.
  2. Choisissez le compte ou l’organisation propriétaire du dépôt.
  3. Choisissez les dépôts couverts par l’installation. Un dépôt laissé hors de cette sélection reste invisible pour Seyval, même si l’App est installée sur le compte.
Vous devez avoir le droit d’installer des Apps sur le compte cible. Pour une organisation que vous ne possédez pas, GitHub enregistre une demande d’installation auprès de ses propriétaires ; l’accès commence une fois approuvée. Une installation appartient à un seul workspace. Si l’App est déjà installée sur ce compte pour un autre workspace, supprimez d’abord ce lien là-bas — Seyval ne le déplacera pas silencieusement.

​
Connecter votre compte GitHub

  1. Dans Settings → GitHub Integration, cliquez sur Connect GitHub (GitHub連携をする).
  2. Vérifiez les permissions sur la page d’autorisation GitHub, puis cliquez sur Authorize.
C’est cette connexion qui remplit le sélecteur de dépôts avec ceux que vous pouvez voir. Le jeton est émis par la Seyval GitHub App comme autorisation utilisateur : sa portée ne dépasse donc jamais celle des installations de l’App — se connecter ne rend pas, à soi seul, un dépôt privé accessible.

​
« Dépôt introuvable » lors de l’enregistrement d’un dépôt privé

GitHub répond par le même 404 à « n’existe pas » et à « vous n’avez pas le droit de le voir » : Seyval ne peut donc pas les distinguer. Si l’URL est correcte, la cause est l’une des suivantes :
  • la Seyval App n’est pas installée sur le compte propriétaire du dépôt, ou
  • le dépôt ne fait pas partie de la sélection de cette installation.
Installez l’App ou ajoutez le dépôt à l’installation, puis enregistrez-le à nouveau. Connecter ou reconnecter votre compte GitHub ne résout pas ce cas.

​
Se reconnecter

Les jetons d’accès GitHub émis pour la connexion du compte expirent. Seyval les renouvelle automatiquement en arrière-plan, vous ne le remarquez donc normalement pas. Si le renouvellement devient impossible — par exemple si vous avez révoqué l’autorisation sur GitHub, ou si la connexion est restée inutilisée au-delà de sa fenêtre de rafraîchissement — la section GitHub Integration affiche Re-authentication required (要再連携). Cliquez-y sur Re-connect (再連携する) pour rétablir l’accès. Il n’est pas nécessaire de vous déconnecter d’abord. Les dépôts accessibles via la Seyval GitHub App ne sont pas concernés.