diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-29 09:53:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-29 09:53:45 +0200 |
| commit | ad28843b94006458417f80676bd3e8a953f83348 (patch) | |
| tree | b3cb41e8e2fc3cbbcd392df9d86f4b5804e8d003 | |
| parent | bfca77bf84e25470210624ecad0cecfc4e791854 (diff) | |
| parent | 7e4ded41694c4f812efbcb207f21a3fa2ed649d6 (diff) | |
| download | rust-ad28843b94006458417f80676bd3e8a953f83348.tar.gz rust-ad28843b94006458417f80676bd3e8a953f83348.zip | |
Merge pull request #2521 from rust-lang/ci-gh-app
Authenticate using GitHub app for the sync workflow
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 5 | ||||
| -rw-r--r-- | src/doc/rustc-dev-guide/triagebot.toml | 3 |
2 files changed, 3 insertions, 5 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml index ad570ee4595..ea4d7532a9f 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml @@ -9,12 +9,13 @@ on: jobs: pull: if: github.repository == 'rust-lang/rustc-dev-guide' - uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main + uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@ci-gh-app with: + github-app-id: ${{ vars.APP_CLIENT_ID }} zulip-stream-id: 196385 zulip-bot-email: "rustc-dev-guide-gha-notif-bot@rust-lang.zulipchat.com" pr-base-branch: master branch-name: rustc-pull secrets: zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }} - token: ${{ secrets.GITHUB_TOKEN }} + github-app-secret: ${{ secrets.APP_PRIVATE_KEY }} diff --git a/src/doc/rustc-dev-guide/triagebot.toml b/src/doc/rustc-dev-guide/triagebot.toml index b3f4c2d281c..3ac5d57a52b 100644 --- a/src/doc/rustc-dev-guide/triagebot.toml +++ b/src/doc/rustc-dev-guide/triagebot.toml @@ -62,9 +62,6 @@ allow-unauthenticated = [ # Documentation at: https://forge.rust-lang.org/triagebot/issue-links.html [issue-links] -# Automatically close and reopen PRs made by bots to run CI on them -[bot-pull-requests] - [behind-upstream] days-threshold = 7 |