Droits sur dépôt github

Salut,

Si dépôt privé:

  • configuré un token
  • ou ajouter l’utilisateur jeedom-market

On devrait modifier la doc dev avec ces infos.

pour info, jamais réussi à faire fonctionner avec l’utilisateur jeedom-market. moi j’utilise un fin-grained token


si le repo a changé de propriétaire, il faut aussi changer la config market mais je suppose que tu l’as déjà fait

1 « J'aime »