From f1ec9ec9334f8932b32fd124ab5169a77d540f7e Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Wed, 13 Dec 2023 09:42:32 +0100 Subject: [PATCH] Fix issue in project name. --- docs/danger.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/danger.md b/docs/danger.md index cd2c3e2eb7..5cf34ac055 100644 --- a/docs/danger.md +++ b/docs/danger.md @@ -84,7 +84,7 @@ bundle exec danger-kotlin pr --dangerfile=./tools/danger/dangerfile.js To let Danger check all the PRs, including PRs form forks, a GitHub account have been created: - login: ElementBot - password: Stored on Passbolt -- GitHub token: A token with limited access has been created and added to the repository https://github.com/element-hq/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. +- GitHub token: A token with limited access has been created and added to the repository https://github.com/element-hq/element-x-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.