1
0
mirror of https://github.com/vector-im/element-android.git synced 2025-08-01 18:06:54 +03:00

Set GITHUB_TOKEN to let Danger be able to work on PR from forks.

This commit is contained in:
Benoit Marty
2022-08-17 13:08:26 +02:00
committed by Benoit Marty
parent b6bcefbb92
commit c5e601d726
3 changed files with 6 additions and 0 deletions

View File

@ -85,6 +85,8 @@ To let Danger check all the PRs, including PRs form forks, a GitHub account have
- password: Stored on Passbolt
- GitHub token: A token with limited access has been created and added to the repository https://github.com/vector-im/element-android as secret DANGER_GITHUB_API_TOKEN. This token is not saved anywhere else. In case of problem, just delete it and create a new one, then update the secret.
PRs from forks do not always have access to the secret `secrets.DANGER_GITHUB_API_TOKEN`, so `secrets.GITHUB_TOKEN` is also provided to the job environment. If `secrets.DANGER_GITHUB_API_TOKEN` is available, it will be used, so user `ElementBot` will comment the PR. Else `secrets.GITHUB_TOKEN` will be used, and bot `github-actions` will comment the PR.
## Useful links
- https://danger.systems/