Skip to content

Make authenticated requests to the Github API#883

Merged
magopian merged 1 commit into
mainfrom
417-authenticated-github-api-requests
May 21, 2026
Merged

Make authenticated requests to the Github API#883
magopian merged 1 commit into
mainfrom
417-authenticated-github-api-requests

Conversation

@magopian
Copy link
Copy Markdown
Collaborator

Fixes #417

Cette solution fonctionne en attendant qu'on aie (hypothétiquement) une "github App" qu'on puisse utiliser en lieu et place d'un Personal Access Token.

Le "Personal Access Token" (PAT) utilisé ici sur Scalingo en staging a été créé avec uniquement l'accès minimal de lecture de repositories publics, avec l'utilisateur github créé pour l'occasion avec l'adresse equipe-ami.

N'importe quel autre PAT pourrait être utilisé, si il était nécessaire de le changer à l'avenir (même un PAT généré par un des membres de l'équipe), car il ne porte aucune spécificité, il permet simplement de faire une requête authentifiée.

@magopian
Copy link
Copy Markdown
Collaborator Author

J'ai créé une autre PR avec la "version propre utilisant une Github App" : #892, qu'on ne peut pas utiliser pour le moment, tant que l'app créée n'a pas été ajoutée à notre repository.

@magopian
Copy link
Copy Markdown
Collaborator Author

Avant le merge (hypothétique) de cette PR, penser à recopier la variable d'env GITHUB_PERSONAL_ACCESS_TOKEN_REVIEW_APPS sur l'environnement de staging

Copy link
Copy Markdown
Collaborator

@cdesquilbet-dila cdesquilbet-dila left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok pour moi
Quels sont les droits du nouveau compte utilisateur github créé avec l'adresse equipe-ami ? Est-ce que quelqu'un qui a accès à l'adresse mail equipe-ami peut avoir des droits avancés sur le repo ?

@magopian
Copy link
Copy Markdown
Collaborator Author

Ok pour moi Quels sont les droits du nouveau compte utilisateur github créé avec l'adresse equipe-ami ? Est-ce que quelqu'un qui a accès à l'adresse mail equipe-ami peut avoir des droits avancés sur le repo ?

L'utilisateur a été créé sans aucun droit, et n'a pas été rajouté à notre repository. Ce n'est pas nécessaire car il suffit d'avoir un accès public aux repositories, ce qui est le cas de base pour notre repository public.

Quelqu'un qui aurait accès à cet utilisateur n'aurait aucune permission, tout comme pour n'importe quel utilisateur créé sur github à qui on n'a accordé aucune permission.

@magopian magopian force-pushed the 417-authenticated-github-api-requests branch from 8f7204d to 73daba8 Compare May 21, 2026 12:06
@magopian magopian merged commit 7b81bba into main May 21, 2026
4 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Rate limit on the github REST API with unauthenticated user

2 participants